小さな圏

任意の圏 $C$ において、$C$ の対象 $C_{0}$ と、$C$ の射 $C_{1}$ がともに集合であるとき、小さな圏という。