各A,B\in\mathscr{A}について\mathscr{A}(A,B)が小さい集合であるような圏\mathscr{A}

全ての\mathscr{A}(A,B)が集合といえるわけではなく、集合と呼ぶには大きすぎる場合もある

\mathscr{A}(A,B)はAからBへの射集合

例

対象間の射はたかだか一つなので

集合の圏Setは小さくはないが、局所的には小さい

参考

ベシ圏 p.87-