Category theory MOC Category of categories A category of categories is a category π’ such that any two objects π ,π‘ βObβ‘π’ are categories and the morphisms π βπ‘ are exactly the functors π βπ‘. cat A particular example is Category of small categories. Further terminology Autistic category Properties Russellβs paradox for categories tidy | en | SemBr