generated at
2/18/2025, 6:04:35 PM
集合と写像の圏
集合全体の
圏
を
\mathbf{Set}
と書くことにする
対象は集合
射は写像
性質
大きい
十分に点を持つ圏
局所的に小さい圏
Set in nLab