Category theory MOC

Category of categories

A category of categories is a category such that any two objects are categories and the morphisms are exactly the functors . #m/def/cat A particular example is .

Further terminology

Properties


#state/tidy | #lang/en | #SemBr