generated at
局所的に小さい圏
locally small

圏Cが局所的に小さいとは
{}^\forall c,c' \in c
\hom_C(c,c') = \left\{ f \mid f \colon c→c' \right\}が集合
hom集合

Ref locally small category in nLab