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 . cat A particular example is Category of small categories.

Further terminology

Properties


tidy | en | sembr