局部小范畴(ocall small category)亦称良效范畴一种特殊的范畴.若省是一个范畴，其任意对象A的子对象的等价类(同构类)都是集合，则称为局部小范畴.由集合论的ZF公理知，集合范畴Set就是一个局部小范畴，Set的子范畴(称为“具体范畴”)也都是局部小范畴.