小さい圏
small
圏
$ C
が
小さい
$ \iff
$ \operatorname{Arr}(C)
が集合となる
$ \operatorname{Obj}(C)
も集合になる
必然的に
局所的に小さい圏
にもなる