Category of small categories
Concept in category theory / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Category of small categories?
Summarize this article for a 10 year old
In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category with natural transformations serving as 2-morphisms.
The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms.[1] The terminal object is the terminal category or trivial category 1 with a single object and morphism.[2]
The category Cat is itself a large category, and therefore not an object of itself. In order to avoid problems analogous to Russell's paradox one cannot form the “category of all categories”. But it is possible to form a quasicategory (meaning objects and morphisms merely form a conglomerate) of all categories.