小圏
小圏(しょうけん、
small category
)、
小さい圏
圏であるもののうち、対象
$ Ob(C)
が
集合
でかつ、ホム類
$ \mathrm{Hom(A, B)}:\mathrm{Class}
の類(クラス)が集合であるもの
$ \mathrm{Ob}(C):
集合
$ \mathrm{Hom}(A, B) :
集合
確認用
Q. 小圏
関連
局所的に小さい圏
圏Set
大きい圏
参考
https://nineties.github.io/topos-theory/category/
調査用
Google.icon
小圏(日)
Google.icon
Small category(英)
Wikipedia.icon
小圏 - Wikipedia(日)
小圏(検索) - Wikipedia(日)
Wikipedia.icon
Small category - Wikipedia(英)
Small category(検索) - Wikipedia(英)