上局部小范畴

colocally small category