局部小範疇(ocall small category)亦稱良效範疇一種特殊的範疇.若省是一個範疇，其任意對象A的子對象的等價類(同構類)都是集合，則稱為局部小範疇.由集合論的ZF公理知，集合範疇Set就是一個局部小範疇，Set的子範疇(稱為“具體範疇”)也都是局部小範疇.
