小さな圏
small category
小圏
ともいう
対象の集合も、射の集合も
小さい集合
であるような
圏
定義
圏
$ \mathcal{C}
が 小さいとは
対象の集まり (
$ \mathrm{Ob}(\mathcal{C})
) が集合（set）であり、
射の集まり (
$ \mathrm{Mor}(\mathcal{C})
) も集合である
つまり、圏全体が「集合の中に収まる」サイズであるということ
例
空圏0
単位圏1
圏2
圏が本質的に小さい
essentially small
ある圏が小圏と
圏同値
になるようなことをいう
参考
ベシ圏
p.87-
https://bartoszmilewski.com/2014/12/05/categories-great-and-small/