局所的に小さい圏 - 雑多な感じ

局所的に小さい圏

locally small

圏$ C が局所的に小さいとは

$ {}^\forall c,c' \in c

$ \hom_C(c,c') = \left\{ f \mid f \colon c→c' \right\} が集合

reference.icon locally small category in nLab