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