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 category0, which is the category of no objects and no morphisms.[1] The terminal object is the terminal category or trivial category1 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.
^empty category at nLab
^terminal category at nLab
and 23 Related for: Category of small categories information
specifically in category theory, the categoryofsmallcategories, denoted by Cat, is the category whose objects are all smallcategories and whose morphisms...
into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. Every (small) monoidal category may also be viewed...
concrete categories, such as the categoryof groups or the categoryof topological spaces. Categoryof topological spaces Set theory Small set (category theory)...
(n − 1)-morphisms gives an n-category. Just as the category known as Cat, which is the categoryofsmallcategories and functors is actually a 2-category with natural...
between categories. They can be thought of as morphisms in the categoryof all (small) categories. A (covariant) functor F from a category C to a category D...
also refer to a category with a monoidal-category action. The categoriesof left and right modules are abelian categories. These categories have enough projectives...
are divided into four categoriesof security. Each adult is assigned to a category according to their crime, sentence, the risk of escape, and violent tendencies...
prototypical example of an abelian category is the categoryof abelian groups, Ab. Abelian categories are very stable categories; for example they are...
morphisms of the ordinary category C(a, b) and its own composition rule. Locally smallcategories are categories enriched over (SmSet, ×), the categoryof small...
In category theory, a branch of abstract mathematics, an equivalence ofcategories is a relation between two categories that establishes that these categories...
spaces Cat, the categoryof all smallcategories Whl, the categoryof wheels sSet, the categoryof simplicial sets The following categories are finitely...
of the objects of the category as sets with additional structure, and of its morphisms as structure-preserving functions. Many important categories have...
IUCN protected area categories, or IUCN protected area management categories, are categories used to classify protected areas in a system developed by...
language of Cartesian closed categories. CAML is more consciously modelled on Cartesian closed categories. Let C be a locally Cartesian closed category. Then...
deep results. Model categories can provide a natural setting for homotopy theory: the categoryof topological spaces is a model category, with the homotopy...
homotopy theory. The homotopy categoryof spectra and the derived categoryof a ring are both examples of triangulated categories. Let A {\displaystyle {\mathcal...
field ofcategory theory, the product of two categories C and D, denoted C × D and called a product category, is an extension of the concept of the Cartesian...
in the category). Functor categories are of interest for two main reasons: many commonly occurring categories are (disguised) functor categories, so any...
many categories in mathematics, the categoryof rings is large, meaning that the class of all rings is proper. The category Ring is a concrete category meaning...
Each category J can be written as a disjoint union (or coproduct) of a collection of connected categories, which are called the connected components of J...
Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise...
into discrete groups of similar or related products. These groups are known as product categories (examples of grocery categories might be: tinned fish...