小圏ともいう

対象の集合も、射の集合も小さい集合であるような圏

圏の射全体の集まりを集合として扱えるような圏

例

圏が本質的に小さい

ある圏が小圏と圏同値になるようなことをいう

参考

ベシ圏 p.87-