Exercise 1.4
佐野博亮
2024年9月18日
コスライス圏
C
/
𝐂
C/\mathbf{C}
は
(
𝐂
o
p
/
C
)
o
p
(\mathbf{C}^\mathrm{op}/C)^\mathrm{op}
で構成できる。