Category of small categories

Category of small categories

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 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 of all categories.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Category of elements — In category theory, for every presheaf P inhat C := mathbf{Set}^{C^{op the category of elements mathbf{El}(P) of P is the category defined as follows: * its objects are pairs (A,a) where A is an object of C and ain P(A), * its morphisms (A,a) o… …   Wikipedia

  • Category utility — is a measure of category goodness defined in Harvtxt|Gluck|Corter|1985 and Harvtxt|Corter|Gluck|1992. It was intended to supersede more limited measures of category goodness such as cue validity (Harvnb|Reed|1972;Harvnb|Rosch|Mervis|1975) and… …   Wikipedia

  • Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A …   Wikipedia

  • Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

  • Small set (category theory) — In category theory, a small set is one in a fixed universe of sets (as the word universe is used in mathematics in general). Thus, the category of small sets is the category of all sets one cares to consider. This is used when one does not wish… …   Wikipedia

  • Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

  • Nerve (category theory) — In category theory, the nerve N(C) of a small category C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the category C …   Wikipedia

  • Concrete category — In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets. This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as… …   Wikipedia

  • Category management — is a retailing concept in which the total range of products sold by a retailer is broken down into discrete groups of similar or related products; these groups are known as product categories. Examples of grocery categories may be : tinned fish,… …   Wikipedia

  • Higher category theory — is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Contents 1 Strict higher categories 2 Weak higher… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”