集合と写像の圏
集合全体の
圏
を
$ \mathbf{Set}
と書くことにする
対象は集合
射は写像
性質
大きい
十分に点を持つ圏
局所的に小さい圏
Ref.icon
Set in nLab