generated at
小さい圏
small

圏Cが小さい\iff
\operatorname{Arr}(C)が集合となる
\operatorname{Obj}(C)も集合になる

必然的に局所的に小さい圏にもなる