小さな圏
small
小圏
ともいう
対象の集合も、射の集合も
小さい集合
であるような
圏
圏の射全体の集まりを集合として扱えるような圏
例
空圏0
単位圏1
圏2
圏が本質的に小さい
essentially small
ある圏が小圏と
圏同値
になるようなことをいう
参考
ベシ圏
p.87-
https://bartoszmilewski.com/2014/12/05/categories-great-and-small/