Namespaces
Variants
Actions

Difference between revisions of "Category"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 36: Line 36:
 
6) A pre-ordered set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074063.png" /> can be regarded as a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074064.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074065.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074066.png" />, while the product is defined by the equality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074067.png" />.
 
6) A pre-ordered set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074063.png" /> can be regarded as a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074064.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074065.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074066.png" />, while the product is defined by the equality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074067.png" />.
  
All categories listed above admit an "isomorphic imbedding" into the category of sets. A category with this property is called a concrete category. Not every category is concrete; for example, the category with as objects all topological spaces and whose morphisms are defined to be homotopy classes of continuous mappings [[#References|[10]]].
+
All categories listed above admit an "isomorphic imbedding" into the category of sets. A category with this property is called a concrete category. Not every category is concrete; for example, the category with as objects all topological spaces and whose morphisms are defined to be homotopy classes of continuous mappings [[#References|[10]]].
  
 
The number of examples of categories can be considerably enlarged by means of various constructions; foremost, by means of functors of categories or categories of diagrams.
 
The number of examples of categories can be considerably enlarged by means of various constructions; foremost, by means of functors of categories or categories of diagrams.
Line 44: Line 44:
 
To each category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074083.png" /> one can associate its dual category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074084.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074085.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074086.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074087.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074088.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074089.png" />. A covariant functor from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074090.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074091.png" /> is called a contravariant functor from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074092.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074093.png" />. Along with functors of one argument one can consider many-placed functors or functors of several arguments; cf. [[Functor|Functor]].
 
To each category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074083.png" /> one can associate its dual category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074084.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074085.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074086.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074087.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074088.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074089.png" />. A covariant functor from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074090.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074091.png" /> is called a contravariant functor from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074092.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074093.png" />. Along with functors of one argument one can consider many-placed functors or functors of several arguments; cf. [[Functor|Functor]].
  
For each statement in category theory there is a dual statement, obtained by a formal "reversal of the arrows" . In this connection the so-called duality principle holds: A statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074094.png" /> is true in category theory if and only if the dual statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074095.png" /> is true.
+
For each statement in category theory there is a dual statement, obtained by a formal "reversal of the arrows" . In this connection the so-called duality principle holds: A statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074094.png" /> is true in category theory if and only if the dual statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c02074095.png" /> is true.
  
 
Many concepts and results in mathematics turn out to be dual to others from a category-theoretic point of view: injectivity and projectivity, nilpotency and the notion of category of a topological space in the sense of Lyusternik–Shnirel'man, varieties and radicals in algebra, etc.
 
Many concepts and results in mathematics turn out to be dual to others from a category-theoretic point of view: injectivity and projectivity, nilpotency and the notion of category of a topological space in the sense of Lyusternik–Shnirel'man, varieties and radicals in algebra, etc.
Line 53: Line 53:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> I. Bucur,   A. Deleanu,   "Introduction to the theory of categories and functors" , Wiley (1968)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A. Grothendieck,   "Sur quelques points d'algèbre homologique" ''Tôhoku Math. J.'' , '''9''' (1957) pp. 119–221</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.G. Kurosh,   A.Kh. Livshits,   E.G. Shul'geifer,   "Foundations of category theory" ''Uspekhi Mat. Nauk'' , '''15''' : 6 (1960) pp. 3–52 (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> ''Itogi Nauk. Algebra. Topol. 1962'' (1963) pp. 90–106</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> ''Itogi Nauk. Algebra. Topol. Geom. 1967'' (1969) pp. 9–57</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> M.Sh. Tsalenko,   E.G. Shul'geifer,   "Fundamentals of category theory" , Moscow (1974) (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> M.C. Bunge,   "Relative functor categories and categories of algebras" ''J. of Algebra'' , '''11''' (1969) pp. 64–101</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> S. Eilenberg,   S. MacLane,   ''Trans. Amer. Math. Soc.'' , '''58''' (1945) pp. 231–294</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> P. Freyd,   "Abelian categories: An introduction to the theory of functors" , Harper &amp; Row (1964)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> P. Freyd,   "On the concreteness of certain categories" , ''Symp. Math.'' , '''4''' , Acad. Press (1970) pp. 431–456</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> S. MacLane,   "Categories for the working mathematician" , Springer (1971)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> H. Schubert,   "Categories" , '''1–2''' , Springer (1972)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> B. Mitchell,   "Theory of categories" , Acad. Press (1965)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968) {{MR|0236236}} {{ZBL|0197.29205}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A. Grothendieck, "Sur quelques points d'algèbre homologique" ''Tôhoku Math. J.'' , '''9''' (1957) pp. 119–221 {{MR|0102537}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.G. Kurosh, A.Kh. Livshits, E.G. Shul'geifer, "Foundations of category theory" ''Uspekhi Mat. Nauk'' , '''15''' : 6 (1960) pp. 3–52 (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> ''Itogi Nauk. Algebra. Topol. 1962'' (1963) pp. 90–106</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> ''Itogi Nauk. Algebra. Topol. Geom. 1967'' (1969) pp. 9–57</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> M.Sh. Tsalenko, E.G. Shul'geifer, "Fundamentals of category theory" , Moscow (1974) (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> M.C. Bunge, "Relative functor categories and categories of algebras" ''J. of Algebra'' , '''11''' (1969) pp. 64–101 {{MR|0236238}} {{ZBL|0165.32902}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> S. Eilenberg, S. MacLane, ''Trans. Amer. Math. Soc.'' , '''58''' (1945) pp. 231–294</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> P. Freyd, "Abelian categories: An introduction to the theory of functors" , Harper &amp; Row (1964) {{MR|0166240}} {{ZBL|0121.02103}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> P. Freyd, "On the concreteness of certain categories" , ''Symp. Math.'' , '''4''' , Acad. Press (1970) pp. 431–456 {{MR|0271184}} {{ZBL|0248.18008}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> S. MacLane, "Categories for the working mathematician" , Springer (1971) {{MR|}} {{ZBL|0232.18001}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> H. Schubert, "Categories" , '''1–2''' , Springer (1972) {{MR|0349793}} {{ZBL|0253.18002}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> B. Mitchell, "Theory of categories" , Acad. Press (1965) {{MR|0202787}} {{ZBL|0136.00604}} </TD></TR></table>
  
  
  
 
====Comments====
 
====Comments====
The notion of a category was introduced in 1942 by S. Eilenberg and S. MacLane [[#References|[a1]]], and has since found numerous applications in algebra, topology and the foundations of mathematics. The intuitive idea is that a category consists of all the objects in some "universe of mathematical discourse" together with all the mappings between them. By identifying an object with its identity morphism it is possible to define the notion of a category in terms of morphisms alone. It is intuitively clearer and also more customary to use both objects and morphisms. The two approaches are mixed-up to some extent in the article above. The object and morphism definition is as follows. A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740100.png" /> consists of
+
The notion of a category was introduced in 1942 by S. Eilenberg and S. MacLane [[#References|[a1]]], and has since found numerous applications in algebra, topology and the foundations of mathematics. The intuitive idea is that a category consists of all the objects in some "universe of mathematical discourse" together with all the mappings between them. By identifying an object with its identity morphism it is possible to define the notion of a category in terms of morphisms alone. It is intuitively clearer and also more customary to use both objects and morphisms. The two approaches are mixed-up to some extent in the article above. The object and morphism definition is as follows. A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740100.png" /> consists of
  
 
A1) a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740101.png" /> whose elements are called objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740102.png" />, and a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740103.png" /> whose elements are called morphisms or arrows of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740104.png" />;
 
A1) a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740101.png" /> whose elements are called objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740102.png" />, and a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740103.png" /> whose elements are called morphisms or arrows of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740104.png" />;
  
A2) operations assigning to each morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740105.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740106.png" /> a pair of objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740107.png" />, called the domain and codomain (or source and target) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740108.png" />. One writes "a: A B" or "AaB" to mean "a is a morphism with domain A and codomain B" ; this rephrases 1) above;
+
A2) operations assigning to each morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740105.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740106.png" /> a pair of objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740107.png" />, called the domain and codomain (or source and target) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740108.png" />. One writes "a: A B" or "AaB" to mean "a is a morphism with domain A and codomain B" ; this rephrases 1) above;
  
 
A3) an operation assigning to each object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740109.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740110.png" /> a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740111.png" />, called the identity morphism on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740112.png" />; this is the precise meaning of part of 5) above;
 
A3) an operation assigning to each object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740109.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740110.png" /> a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740111.png" />, called the identity morphism on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740112.png" />; this is the precise meaning of part of 5) above;
Line 76: Line 76:
 
The classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740122.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740123.png" /> are not required to be sets, and in many of the leading examples (see, e.g. the main text above and the examples (A1)–(A4), (A7) below) they are not sets. However, most examples have the property that, for each pair of objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740124.png" />, the collection of morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740125.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740126.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740127.png" /> forms a set (usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740128.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740129.png" />); such categories are sometimes called locally small, although other writers include this condition as part of the definition of a category. A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740130.png" /> is said to be small if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740131.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740132.png" /> are sets (cf. [[Small category|Small category]]); it turns out that many of the fundamental mathematical structures may be regarded as small categories (e.g. (A6) and (A7) below).
 
The classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740122.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740123.png" /> are not required to be sets, and in many of the leading examples (see, e.g. the main text above and the examples (A1)–(A4), (A7) below) they are not sets. However, most examples have the property that, for each pair of objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740124.png" />, the collection of morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740125.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740126.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740127.png" /> forms a set (usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740128.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740129.png" />); such categories are sometimes called locally small, although other writers include this condition as part of the definition of a category. A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740130.png" /> is said to be small if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740131.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740132.png" /> are sets (cf. [[Small category|Small category]]); it turns out that many of the fundamental mathematical structures may be regarded as small categories (e.g. (A6) and (A7) below).
  
It follows from the definition that each object in a category has a unique identity morphism; thus it is possible to identify objects with their identity morphisms, leading to an axiomatization of categories in which "morphism" and "composite" are the only primitive notions (see [[#References|[9]]]).
+
It follows from the definition that each object in a category has a unique identity morphism; thus it is possible to identify objects with their identity morphisms, leading to an axiomatization of categories in which "morphism" and "composite" are the only primitive notions (see [[#References|[9]]]).
  
 
Examples of categories.
 
Examples of categories.
Line 98: Line 98:
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740181.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740181.png" /></td> </tr></table>
  
commutes (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740182.png" />). Functors may be composed (and every category has an identity functor); thus there is a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740183.png" /> of (small) categories and functors between them. Natural transformations may be composed; thus, given two categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740184.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740185.png" />, there is a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740186.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740187.png" />) of functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740188.png" /> and natural transformations between them. This is one important way in which new categories are constructed from existing ones. The resulting categories are called categories of functors or categories of diagrams. The latter name is especially understandable if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740189.png" /> is the category corresponding to a diagram scheme (oriented graph). Indeed, then a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740190.png" /> "is" a diagram in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740191.png" />. Other important constructions to obtain new categories are: taking quotients (cf. [[Quotient category|Quotient category]]), taking localizations (cf. [[Localization in categories|Localization in categories]]) and constructing relative and comma categories. The important notion of a [[Derived category|derived category]] involves several of these constructions. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740192.png" /> is a category and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740193.png" /> an object of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740194.png" />, then the relative category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740195.png" /> of objects over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740196.png" /> has as objects all morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740197.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740198.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740199.png" /> and a morphism in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740200.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740201.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740202.png" /> is a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740203.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740204.png" />. Dually there is the notion of the relative category of objects in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740205.png" /> under a given object. Intuitively an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740206.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740207.png" /> is a family of objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740208.png" /> parametrized by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740209.png" /> or a fibre object (fibred object). The systematic consideration of these relative objects, i.e. fibre objects (and their duals) combined with [[Base change|base change]] and [[Deformation|deformation]] ideas has become a most important technique in many parts of mathematics, especially in algebra (notably homological algebra), algebraic and differential geometry, topology, and differential and algebraic topology. It is especially important to find the right fibrewise versions of definitions, theorems and concepts. (A second additional not unrelated major trend involves finding the right equivariant versions in those case in which there is a group of symmetries present (as well).)
+
commutes (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740182.png" />). Functors may be composed (and every category has an identity functor); thus there is a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740183.png" /> of (small) categories and functors between them. Natural transformations may be composed; thus, given two categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740184.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740185.png" />, there is a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740186.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740187.png" />) of functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740188.png" /> and natural transformations between them. This is one important way in which new categories are constructed from existing ones. The resulting categories are called categories of functors or categories of diagrams. The latter name is especially understandable if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740189.png" /> is the category corresponding to a diagram scheme (oriented graph). Indeed, then a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740190.png" /> "is" a diagram in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740191.png" />. Other important constructions to obtain new categories are: taking quotients (cf. [[Quotient category|Quotient category]]), taking localizations (cf. [[Localization in categories|Localization in categories]]) and constructing relative and comma categories. The important notion of a [[Derived category|derived category]] involves several of these constructions. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740192.png" /> is a category and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740193.png" /> an object of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740194.png" />, then the relative category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740195.png" /> of objects over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740196.png" /> has as objects all morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740197.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740198.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740199.png" /> and a morphism in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740200.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740201.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740202.png" /> is a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740203.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740204.png" />. Dually there is the notion of the relative category of objects in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740205.png" /> under a given object. Intuitively an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740206.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740207.png" /> is a family of objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740208.png" /> parametrized by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740209.png" /> or a fibre object (fibred object). The systematic consideration of these relative objects, i.e. fibre objects (and their duals) combined with [[Base change|base change]] and [[Deformation|deformation]] ideas has become a most important technique in many parts of mathematics, especially in algebra (notably homological algebra), algebraic and differential geometry, topology, and differential and algebraic topology. It is especially important to find the right fibrewise versions of definitions, theorems and concepts. (A second additional not unrelated major trend involves finding the right equivariant versions in those case in which there is a group of symmetries present (as well).)
  
 
The idea of a comma category generalizes that of categories of objects over or under a given object. Let there be given three categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740210.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740211.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740212.png" /> and two functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740213.png" /> arranged as follows
 
The idea of a comma category generalizes that of categories of objects over or under a given object. Let there be given three categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740210.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740211.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740212.png" /> and two functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740213.png" /> arranged as follows
Line 106: Line 106:
 
Then the comma category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740215.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740216.png" /> has as objects all triples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740217.png" /> consisting of an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740218.png" />, an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740219.png" /> and a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740220.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740221.png" />. A morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740222.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740223.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740224.png" /> consists of a pair of morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740225.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740226.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740227.png" />.
 
Then the comma category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740215.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740216.png" /> has as objects all triples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740217.png" /> consisting of an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740218.png" />, an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740219.png" /> and a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740220.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740221.png" />. A morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740222.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740223.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740224.png" /> consists of a pair of morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740225.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740226.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740227.png" />.
  
Examples of functors. ITEM {(A9} The forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740228.png" /> sends each topological space to its underlying set, and each continuous function to itself ( "forgetting" the continuity). Similarly, one has forgetful functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740229.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740230.png" />, etc.
+
Examples of functors. ITEM {(A9} The forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740228.png" /> sends each topological space to its underlying set, and each continuous function to itself ( "forgetting" the continuity). Similarly, one has forgetful functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740229.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740230.png" />, etc.
  
 
(A10) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740231.png" /> is a locally small category, then for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740232.png" /> there is a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740233.png" /> sending <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740234.png" /> to the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740235.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740236.png" /> to the function which sends <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740237.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740238.png" />. Such functors (or functors isomorphic to them in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740239.png" />) are called representable (cf. [[Representable functor|Representable functor]]).
 
(A10) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740231.png" /> is a locally small category, then for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740232.png" /> there is a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740233.png" /> sending <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740234.png" /> to the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740235.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740236.png" /> to the function which sends <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740237.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740238.png" />. Such functors (or functors isomorphic to them in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740239.png" />) are called representable (cf. [[Representable functor|Representable functor]]).
Line 120: Line 120:
 
(A15) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740251.png" /> is a [[Group|group]], considered as a category, a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740252.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740253.png" />) is a permutation (respectively, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740254.png" />-linear representation) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740255.png" /> (cf. [[Representation of a group|Representation of a group]]).
 
(A15) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740251.png" /> is a [[Group|group]], considered as a category, a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740252.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740253.png" />) is a permutation (respectively, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740254.png" />-linear representation) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740255.png" /> (cf. [[Representation of a group|Representation of a group]]).
  
A functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740256.png" /> is said to be faithful (cf. [[Faithful functor|Faithful functor]]) if it is "injective on Hom-sets" ; i.e. if, given two morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740257.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740258.png" /> with the same domain and codomain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740259.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740260.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740261.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740262.png" /> is said to be full if it is "surjective on Hom-sets" in a similar sense. Forgetful functors (as in (A9) above) are always faithful. The property that a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740263.png" /> be concrete can now be rephrased as: There is a faithful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740264.png" />.
+
A functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740256.png" /> is said to be faithful (cf. [[Faithful functor|Faithful functor]]) if it is "injective on Hom-sets" ; i.e. if, given two morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740257.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740258.png" /> with the same domain and codomain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740259.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740260.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740261.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740262.png" /> is said to be full if it is "surjective on Hom-sets" in a similar sense. Forgetful functors (as in (A9) above) are always faithful. The property that a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740263.png" /> be concrete can now be rephrased as: There is a faithful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740264.png" />.
  
 
Given a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740265.png" />, one can form its opposite or [[Dual category|dual category]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740266.png" /> by keeping the same objects as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740267.png" /> and reversing all the morphisms. The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740268.png" /> is isomorphic to its opposite, though most familiar categories are not. A functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740269.png" /> is sometimes called a contravariant functor from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740270.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740271.png" />; for emphasis, functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740272.png" /> are then called covariant. (For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740273.png" /> is locally small, one may define a contravariant functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740274.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740275.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740276.png" />, by analogy with the covariant functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740277.png" /> of example (A10) above.) The [[Duality principle|duality principle]] for categories is essentially the assertion that something which is true for all categories is true for the duals of all categories.
 
Given a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740265.png" />, one can form its opposite or [[Dual category|dual category]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740266.png" /> by keeping the same objects as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740267.png" /> and reversing all the morphisms. The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740268.png" /> is isomorphic to its opposite, though most familiar categories are not. A functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740269.png" /> is sometimes called a contravariant functor from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740270.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740271.png" />; for emphasis, functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740272.png" /> are then called covariant. (For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740273.png" /> is locally small, one may define a contravariant functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740274.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740275.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740276.png" />, by analogy with the covariant functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740277.png" /> of example (A10) above.) The [[Duality principle|duality principle]] for categories is essentially the assertion that something which is true for all categories is true for the duals of all categories.
Line 126: Line 126:
 
S. MacLane [[#References|[a4]]] introduced the idea that Cartesian products can be characterized in categorical terms, by a universal property; this gave rise to the general categorical notion of limit (and the dual notion of colimit), which includes products as a special case (cf. [[Limit|Limit]] and [[Universal problems|Universal problems]]).
 
S. MacLane [[#References|[a4]]] introduced the idea that Cartesian products can be characterized in categorical terms, by a universal property; this gave rise to the general categorical notion of limit (and the dual notion of colimit), which includes products as a special case (cf. [[Limit|Limit]] and [[Universal problems|Universal problems]]).
  
The key notion of adjunction came latter [[#References|[a5]]]: given functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740278.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740279.png" />, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740280.png" /> is left adjoint to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740281.png" /> (written <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740282.png" />) if there is a bijection between morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740283.png" /> and morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740284.png" /> which is natural in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740285.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740286.png" />; this is equivalent to the existence of natural transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740287.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740288.png" /> satisfying certain identities [[#References|[11]]] (cf. [[Adjoint functor|Adjoint functor]]). For example, the free group functor (example (A11) above) is left adjoint to the forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740289.png" />; Galois connections (cf. [[Galois correspondence|Galois correspondence]]) are examples of (contravariant) adjunctions between partially ordered sets. A functor which has a left adjoint preserves all limits; the converse implication is valid under suitable "smallness conditions" (the adjoint functor theorem, see [[#References|[9]]]).
+
The key notion of adjunction came latter [[#References|[a5]]]: given functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740278.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740279.png" />, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740280.png" /> is left adjoint to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740281.png" /> (written <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740282.png" />) if there is a bijection between morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740283.png" /> and morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740284.png" /> which is natural in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740285.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740286.png" />; this is equivalent to the existence of natural transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740287.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740288.png" /> satisfying certain identities [[#References|[11]]] (cf. [[Adjoint functor|Adjoint functor]]). For example, the free group functor (example (A11) above) is left adjoint to the forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740289.png" />; Galois connections (cf. [[Galois correspondence|Galois correspondence]]) are examples of (contravariant) adjunctions between partially ordered sets. A functor which has a left adjoint preserves all limits; the converse implication is valid under suitable "smallness conditions" (the adjoint functor theorem, see [[#References|[9]]]).
  
 
Given an adjunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740290.png" /> as above, the composite functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740291.png" /> is equipped with natural transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740292.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740293.png" /> satisfying certain identities; these data define the notion of a monad or [[Triple|triple]] on a category, which played a central role in much categorical research in the 1960's and later years.
 
Given an adjunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740290.png" /> as above, the composite functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740291.png" /> is equipped with natural transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740292.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740293.png" /> satisfying certain identities; these data define the notion of a monad or [[Triple|triple]] on a category, which played a central role in much categorical research in the 1960's and later years.
Line 136: Line 136:
 
Important examples of triples arise from adjunctions involving forgetful functors. For example, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740314.png" /> be the forgetful functor from the category of commutative rings with unit element to the category of sets. This one has an adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740315.png" /> which assigns to a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740316.png" /> the free commutative ring with generator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740317.png" />, i.e. the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740318.png" /> of commutative polynomials over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740319.png" /> in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740320.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740321.png" />. The freeness property of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740322.png" />, i.e. the property that for every ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740323.png" /> and every collection of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740324.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740325.png" /> there is precisely one homomorphism of rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740326.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740327.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740328.png" />, precisely expresses the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740329.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740330.png" /> are adjoint functors: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740331.png" />. The corresponding natural transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740332.png" /> is given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740333.png" /> (cf. also [[Adjoint functor|Adjoint functor]]).
 
Important examples of triples arise from adjunctions involving forgetful functors. For example, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740314.png" /> be the forgetful functor from the category of commutative rings with unit element to the category of sets. This one has an adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740315.png" /> which assigns to a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740316.png" /> the free commutative ring with generator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740317.png" />, i.e. the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740318.png" /> of commutative polynomials over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740319.png" /> in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740320.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740321.png" />. The freeness property of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740322.png" />, i.e. the property that for every ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740323.png" /> and every collection of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740324.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740325.png" /> there is precisely one homomorphism of rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740326.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740327.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740328.png" />, precisely expresses the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740329.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740330.png" /> are adjoint functors: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740331.png" />. The corresponding natural transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740332.png" /> is given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740333.png" /> (cf. also [[Adjoint functor|Adjoint functor]]).
  
Every monad and comonad can be induced by an adjunction; in fact there is a "best possible" such adjunction, in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740334.png" /> is taken to be the category of (Eilenberg–Moore) algebras for the monad, [[#References|[a7]]]. A general adjunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740335.png" /> is said to be monadic (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740336.png" /> is said to be monadic over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740337.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740338.png" /> is (canonically) equivalent to the category of algebras for the induced monad on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740339.png" />. The adjunction between the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740340.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740341.png" />, mentioned above, is monadic; more generally, the categories which are monadic over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740342.png" /> can be characterized [[#References|[a8]]] as those which arise from varieties of universal algebras (provided one allows infinitary as well as finitary algebraic operations; the finitary case can also be characterized in categorical terms [[#References|[9]]], using the notion of algebraic theory). See also [[Variety of universal algebras|Variety of universal algebras]].
+
Every monad and comonad can be induced by an adjunction; in fact there is a "best possible" such adjunction, in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740334.png" /> is taken to be the category of (Eilenberg–Moore) algebras for the monad, [[#References|[a7]]]. A general adjunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740335.png" /> is said to be monadic (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740336.png" /> is said to be monadic over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740337.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740338.png" /> is (canonically) equivalent to the category of algebras for the induced monad on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740339.png" />. The adjunction between the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740340.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740341.png" />, mentioned above, is monadic; more generally, the categories which are monadic over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740342.png" /> can be characterized [[#References|[a8]]] as those which arise from varieties of universal algebras (provided one allows infinitary as well as finitary algebraic operations; the finitary case can also be characterized in categorical terms [[#References|[9]]], using the notion of algebraic theory). See also [[Variety of universal algebras|Variety of universal algebras]].
  
Another phrase that is used to denote a triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740343.png" /> is algebraic theory (in monad form) over the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740344.png" />. It is so to speak the theory of the category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740345.png" />-algebras. There are, at least, two more equivalent ways in which this notion is approached. One is as follows [[#References|[a6]]]. An algebraic theory in clone form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740346.png" /> consists of an "object assignment function" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740347.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740348.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740349.png" />-terms with variables in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740350.png" />) for all objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740351.png" />, an "insertion of variables mapping" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740352.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740353.png" /> and a "clone-composition function" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740354.png" /> for each ordered triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740355.png" /> of objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740356.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740357.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740358.png" /> let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740359.png" /> be the composite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740360.png" />. Then the data <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740361.png" /> are supposed to satisfy the following axioms. For all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740362.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740363.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740364.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740365.png" />,
+
Another phrase that is used to denote a triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740343.png" /> is algebraic theory (in monad form) over the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740344.png" />. It is so to speak the theory of the category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740345.png" />-algebras. There are, at least, two more equivalent ways in which this notion is approached. One is as follows [[#References|[a6]]]. An algebraic theory in clone form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740346.png" /> consists of an "object assignment function" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740347.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740348.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740349.png" />-terms with variables in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740350.png" />) for all objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740351.png" />, an "insertion of variables mapping" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740352.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740353.png" /> and a "clone-composition function" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740354.png" /> for each ordered triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740355.png" /> of objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740356.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740357.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740358.png" /> let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740359.png" /> be the composite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740360.png" />. Then the data <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740361.png" /> are supposed to satisfy the following axioms. For all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740362.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740363.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740364.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740365.png" />,
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740366.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740366.png" /></td> </tr></table>
Line 158: Line 158:
 
The language of categories and functors was originally introduced to meet the needs of algebraic topology and homological algebra [[#References|[a1]]], [[#References|[a4]]]. In the 1950's and early 1960's much attention was focused on Abelian categories (cf. [[Abelian category|Abelian category]]), which may be defined as categories satisfying all the elementary properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740409.png" />; it was shown in [[#References|[2]]] that they provide an adequate foundation for the development of homological algebra, and in [[#References|[a11]]] that every small Abelian category admits a full imbedding, preserving finite limits and colimits, into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740410.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740411.png" />.
 
The language of categories and functors was originally introduced to meet the needs of algebraic topology and homological algebra [[#References|[a1]]], [[#References|[a4]]]. In the 1950's and early 1960's much attention was focused on Abelian categories (cf. [[Abelian category|Abelian category]]), which may be defined as categories satisfying all the elementary properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740409.png" />; it was shown in [[#References|[2]]] that they provide an adequate foundation for the development of homological algebra, and in [[#References|[a11]]] that every small Abelian category admits a full imbedding, preserving finite limits and colimits, into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740410.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740411.png" />.
  
In an Abelian category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740412.png" />, the "Hom-sets" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740413.png" /> have a natural [[Abelian group|Abelian group]] structure; this observation provided one of the incentives for developing the theory of enriched (or relative) categories [[#References|[a12]]], that is, categories whose "Hom-sets" are objects of some "base category" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740414.png" />. Categories enriched over themselves (such as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740415.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740416.png" />) are called closed categories [[#References|[a13]]] (cf. [[Closed category|Closed category]]); an important class of closed categories (including <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740417.png" /> but not <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740418.png" />) consists of those where the closed structure (the "internal Hom" ) is related by an adjunction to the categorical product structure — such categories are called Cartesian closed. The notion of a Cartesian closed category played an important role in F.W. Lawvere's axiomatization of the category of small categories as a foundation for mathematics [[#References|[a14]]], and in his latter development with M. Tierney of the notion of an elementary [[Topos|topos]], which has dominated much of categorical research in the 1970's and 1980's (see [[#References|[a15]]]). Cartesian closed categories are also of importance in logic, since they provide models for the (typed) [[Lambda-calculus|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740419.png" />-calculus]] (see [[#References|[a16]]]).
+
In an Abelian category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740412.png" />, the "Hom-sets" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740413.png" /> have a natural [[Abelian group|Abelian group]] structure; this observation provided one of the incentives for developing the theory of enriched (or relative) categories [[#References|[a12]]], that is, categories whose "Hom-sets" are objects of some "base category" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740414.png" />. Categories enriched over themselves (such as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740415.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740416.png" />) are called closed categories [[#References|[a13]]] (cf. [[Closed category|Closed category]]); an important class of closed categories (including <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740417.png" /> but not <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740418.png" />) consists of those where the closed structure (the "internal Hom" ) is related by an adjunction to the categorical product structure — such categories are called Cartesian closed. The notion of a Cartesian closed category played an important role in F.W. Lawvere's axiomatization of the category of small categories as a foundation for mathematics [[#References|[a14]]], and in his latter development with M. Tierney of the notion of an elementary [[Topos|topos]], which has dominated much of categorical research in the 1970's and 1980's (see [[#References|[a15]]]). Cartesian closed categories are also of importance in logic, since they provide models for the (typed) [[Lambda-calculus|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740419.png" />-calculus]] (see [[#References|[a16]]]).
  
Categories enriched over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740420.png" /> (commonly called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740422.png" />-categories) have also received a good deal of attention in recent years. They are distinguished from the general run of enriched categories by the possibility of considering diagrams within them which commute "up to isomorphism" but not exactly; the weaker notion of a [[Bicategory(2)|bicategory]] [[#References|[a17]]] is a further expression of this idea. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740423.png" />-categories and higher-dimensional categories have also been studied, and have proved to be of importance in the algebraic study of homotopy types [[#References|[a18]]]. In these areas of category theory coherence theorems play an important part: these are theorems which allow one to deduce the commutativity of a large class of diagrams from that of certain particular diagrams (see [[#References|[a19]]], for example).
+
Categories enriched over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740420.png" /> (commonly called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740422.png" />-categories) have also received a good deal of attention in recent years. They are distinguished from the general run of enriched categories by the possibility of considering diagrams within them which commute "up to isomorphism" but not exactly; the weaker notion of a [[Bicategory(2)|bicategory]] [[#References|[a17]]] is a further expression of this idea. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740423.png" />-categories and higher-dimensional categories have also been studied, and have proved to be of importance in the algebraic study of homotopy types [[#References|[a18]]]. In these areas of category theory coherence theorems play an important part: these are theorems which allow one to deduce the commutativity of a large class of diagrams from that of certain particular diagrams (see [[#References|[a19]]], for example).
  
 
Further areas of category theory in which much work has been done in recent years include the theory of fibred categories [[#References|[a2]]] (which, together with enriched category theory, is an expression of the idea that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740424.png" /> can be replaced by some more general base category as a foundation for much of mathematics), and the theory of topological categories [[#References|[a3]]] (which is concerned with the study of concrete categories whose forgetful functors to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740425.png" /> have good infinitary properties, similar to those of the forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740426.png" />, see also [[Topologized category|Topologized category]]).
 
Further areas of category theory in which much work has been done in recent years include the theory of fibred categories [[#References|[a2]]] (which, together with enriched category theory, is an expression of the idea that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740424.png" /> can be replaced by some more general base category as a foundation for much of mathematics), and the theory of topological categories [[#References|[a3]]] (which is concerned with the study of concrete categories whose forgetful functors to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740425.png" /> have good infinitary properties, similar to those of the forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740426.png" />, see also [[Topologized category|Topologized category]]).
Line 167: Line 167:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S. Eilenberg,   S. MacLane,   "Natural isomorphisms in group theory" ''Proc. Nat. Sci. USA'' , '''28''' (1942) pp. 537–543</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J. Bénabou,   "Fibred categories and the foundations of naive category theory" ''J. Symbolic Logic'' , '''50''' (1985) pp. 10–37</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G.C.L. Brümmer,   "Topological categories" ''Topology Appl.'' , '''18''' (1984) pp. 27–41</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> S. MacLane,   "Duality for groups" ''Bull. Amer. Math. Soc.'' , '''56''' (1950) pp. 485–516</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> D.M. Kan,   "Adjoint functors" ''Trans. Amer. Math. Soc.'' , '''87''' (1958) pp. 294–329</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> E.G. Manes,   "Algebraic theories" , Springer (1976)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> S. Eilenberg,   J.C. Moore,   "Adjoint functors and triples" ''Ill. J. Math.'' , '''9''' (1965) pp. 381–398</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> F.E.J. Linton,   "Some aspects of equational categories" S. Eilenberg (ed.) et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer (1966) pp. 84–94</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> F.W. Lawvere,   "Functorial semantics of algebraic theories" ''Proc. Nat. Acad. Sci. USA'' , '''50''' (1963) pp. 869–872</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> B. Pareigis,   "Categories and functors" , Acad. Press (1970)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> B. Mitchell,   "The full imbedding theorem" ''Amer. J. Math.'' , '''86''' (1964) pp. 619–637</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> G.M. Kelly,   "Basic concepts of enriched category theory" , Cambridge Univ. Press (1982)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> G.M. Kelly,   "Closed categories" S. Eilenberg (ed.) et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer (1966) pp. 421–562</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> F.W. Lawvere,   "The category of categories as a foundation for mathematics" S. Eilenberg (ed.) et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer (1966) pp. 1–20</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> P.T. Johnstone,   "Topos theory" , Acad. Press (1977)</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top"> J. Lambek,   P.J. Scott,   "Introduction to higher-order categorical logic" , Cambridge Univ. Press (1986)</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top"> J. Bénabou,   "Introduction to bicategories" , ''Reports of the Midwest Category Seminar I'' , ''Lect. notes in math.'' , '''47''' , Springer (1967) pp. 1–77</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top"> R. Brown,   P.J. Higgins,   "The equivalence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740427.png" />-groupoids and crossed complexes" ''Cahiers Top. et Géom. Diff.'' , '''22''' (1981) pp. 371–386</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top"> S. MacLane,   "Why commutative diagrams coincide with equivalent proofs" , ''Algebraists' Homage'' , ''Contemp. Math.'' , '''13''' , Amer. Math. Soc. (1982) pp. 387–401</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S. Eilenberg, S. MacLane, "Natural isomorphisms in group theory" ''Proc. Nat. Sci. USA'' , '''28''' (1942) pp. 537–543 {{MR|0007421}} {{ZBL|0061.09203}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J. Bénabou, "Fibred categories and the foundations of naive category theory" ''J. Symbolic Logic'' , '''50''' (1985) pp. 10–37</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G.C.L. Brümmer, "Topological categories" ''Topology Appl.'' , '''18''' (1984) pp. 27–41 {{MR|0759137}} {{ZBL|0551.18003}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> S. MacLane, "Duality for groups" ''Bull. Amer. Math. Soc.'' , '''56''' (1950) pp. 485–516</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> D.M. Kan, "Adjoint functors" ''Trans. Amer. Math. Soc.'' , '''87''' (1958) pp. 294–329 {{MR|0131451}} {{ZBL|0090.38906}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> E.G. Manes, "Algebraic theories" , Springer (1976) {{MR|0419557}} {{ZBL|0353.18007}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> S. Eilenberg, J.C. Moore, "Adjoint functors and triples" ''Ill. J. Math.'' , '''9''' (1965) pp. 381–398 {{MR|0184984}} {{ZBL|0135.02103}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> F.E.J. Linton, "Some aspects of equational categories" S. Eilenberg (ed.) et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer (1966) pp. 84–94 {{MR|0209335}} {{ZBL|0201.35003}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> F.W. Lawvere, "Functorial semantics of algebraic theories" ''Proc. Nat. Acad. Sci. USA'' , '''50''' (1963) pp. 869–872 {{MR|0158921}} {{ZBL|0119.25901}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> B. Pareigis, "Categories and functors" , Acad. Press (1970) {{MR|0265427}} {{MR|0265428}} {{ZBL|0211.32402}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> B. Mitchell, "The full imbedding theorem" ''Amer. J. Math.'' , '''86''' (1964) pp. 619–637 {{MR|0167511}} {{ZBL|0124.01502}} </TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> G.M. Kelly, "Basic concepts of enriched category theory" , Cambridge Univ. Press (1982) {{MR|0651714}} {{ZBL|0478.18005}} </TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> G.M. Kelly, "Closed categories" S. Eilenberg (ed.) et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer (1966) pp. 421–562 {{MR|0225841}} {{ZBL|0192.10604}} </TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> F.W. Lawvere, "The category of categories as a foundation for mathematics" S. Eilenberg (ed.) et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer (1966) pp. 1–20 {{MR|0207517}} {{ZBL|0192.09702}} </TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> P.T. Johnstone, "Topos theory" , Acad. Press (1977) {{MR|0470019}} {{ZBL|0368.18001}} </TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top"> J. Lambek, P.J. Scott, "Introduction to higher-order categorical logic" , Cambridge Univ. Press (1986) {{MR|0856915}} {{ZBL|0596.03002}} </TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top"> J. Bénabou, "Introduction to bicategories" , ''Reports of the Midwest Category Seminar I'' , ''Lect. notes in math.'' , '''47''' , Springer (1967) pp. 1–77 {{MR|0220789}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top"> R. Brown, P.J. Higgins, "The equivalence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020740/c020740427.png" />-groupoids and crossed complexes" ''Cahiers Top. et Géom. Diff.'' , '''22''' (1981) pp. 371–386 {{MR|639048}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top"> S. MacLane, "Why commutative diagrams coincide with equivalent proofs" , ''Algebraists' Homage'' , ''Contemp. Math.'' , '''13''' , Amer. Math. Soc. (1982) pp. 387–401 {{MR|}} {{ZBL|0504.18004}} </TD></TR></table>

Revision as of 21:50, 30 March 2012

A concept formalizing a number of algebraic properties of collections of morphism between mathematical objects of the same type (sets, topological spaces, groups, etc.) under the condition that these collections contain the identity mappings and are closed with respect to successive composition (or product) of mappings. A category consists of a class , whose elements are called objects of the category, and a class , the elements of which are called morphisms of the category. These classes must satisfy the following conditions:

1) to each ordered pair of objects is associated a set (also denoted by , , or ) of members of . If , then is called the source, or domain (of definition), of the morphism , and the target, or range (of values), or codomain of ; instead of one often writes or ;

2) each morphism of the category belongs to only one set ;

3) in the class , the following partial composition (product) rule is given: The product of two morphisms and is defined if and only if , in which case it belongs to ; the product of and is denoted by , or, depending on one's choice of conventions, by ;

4) for any morphisms , and , the associativity law holds:

5) each set contains a (distinguished) morphism such that and for any morphisms and ; the morphisms are called units, identities or ones.

The notion of a class occurring in the definition of a category presupposes the use of axioms from set theory which distinguish between sets and classes. The most commonly used is the axiom scheme of Gödel–Bernays–von Neumann.

Sometimes, in the definition of a category, it is not required that the classes be sets. Sometimes, instead of using classes, one assumes the existence of a universal set and requires that the classes and belong to a fixed universal set.

Since there is a bijective correspondence between the identities of a category and the class , a category can be defined as a class of morphisms with a partial product satisfying additional conditions (see, for example, [6], [9]).

The notion of a category was introduced in 1945 [8]. The origins of category theory and the initial stimulus for its development came from algebraic topology. Subsequent investigation revealed the unifying role of the notion of a category and the notion of a functor related to it for many branches of mathematics.

Examples of categories.

1) The category of sets . The class consists of all sets; the class consists of all functions between sets; composition of morphism is composition of functions (see Sets, category of).

2) The category of topological spaces (or ). The class consists of all topological spaces, the class of all continuous mappings, while composition is again composition of mappings.

3) The category of groups (or ). The class consists of all groups, the class of all group homomorphisms, and composition again is composition of homomorphisms (see Category of groups). One defines in a similar fashion the categories of vector spaces over some field, the category of rings, etc.

4) The category of binary relations between sets (or ). The class of objects of this category is , but as morphisms from to one takes all binary relations, that is, all subsets of the Cartesian product ; composition is composition of binary relations (cf. Binary relation).

5) A semi-group with identity is a category with a single object; conversely, every category consisting of a single object is a semi-group with identity.

6) A pre-ordered set can be regarded as a category for which , , while the product is defined by the equality .

All categories listed above admit an "isomorphic imbedding" into the category of sets. A category with this property is called a concrete category. Not every category is concrete; for example, the category with as objects all topological spaces and whose morphisms are defined to be homotopy classes of continuous mappings [10].

The number of examples of categories can be considerably enlarged by means of various constructions; foremost, by means of functors of categories or categories of diagrams.

A mapping between two categories , is called a covariant functor (cf. also Functor) if for each object , , for each morphism , its image , if , and if, finally, whenever the product is defined. If the objects of constitute a set, then one can construct the category of diagrams or , the objects of which are all covariant functors from to and with as morphisms all natural transformations of these functors.

To each category one can associate its dual category , or , or , for which and for any . A covariant functor from to is called a contravariant functor from to . Along with functors of one argument one can consider many-placed functors or functors of several arguments; cf. Functor.

For each statement in category theory there is a dual statement, obtained by a formal "reversal of the arrows" . In this connection the so-called duality principle holds: A statement is true in category theory if and only if the dual statement is true.

Many concepts and results in mathematics turn out to be dual to others from a category-theoretic point of view: injectivity and projectivity, nilpotency and the notion of category of a topological space in the sense of Lyusternik–Shnirel'man, varieties and radicals in algebra, etc.

A category-theoretic analysis of the foundations of homology theory led to the introduction in the mid-fifties of so-called Abelian categories (cf. Abelian category). Within this framework it proved possible to realize the basic constructions of homological algebra [2]. In the 1960s, interest in non-Abelian categories grew, as a result of problems in logic, general algebra, topology, and algebraic geometry. An intensive development of universal algebra and the axiomatic construction of homotopy theory marked the beginnings of various lines of investigation: the category-theoretic study of varieties of universal algebras, the theory of isomorphisms of direct decompositions, the theory of adjoint functors, and the theory of duality of functors. The latter development uncovered the existence of relations between these areas of study. As a result of the recent theory of relative categories, which makes wide use of the techniques of adjoint functors and closed categories, a duality has been established between homotopy theory and the theory of universal algebras; this is based on the interpretation of the categoric definitions of a monoid and a comonoid in suitable categories of functors (see, for example, [7]). Along with the development of the general theory of relative categories special classes of such categories were introduced: -categories or formal categories; categories with an involution or -categories, including, in particular, the category of binary relations; etc. A special case of -categories is the category of small categories, which can be placed at the basis of an axiomatic construction of mathematics.

The classes of categories listed above are characterized by the fact that their sets of morphisms possess an additional structure. Another method of introducing an additional structure in a category is to provide the category with a Grothendieck topology and to construct the category of sheaves over the topologized category (so-called topoi; cf. Topos).

References

[1] I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968) MR0236236 Zbl 0197.29205
[2] A. Grothendieck, "Sur quelques points d'algèbre homologique" Tôhoku Math. J. , 9 (1957) pp. 119–221 MR0102537
[3] A.G. Kurosh, A.Kh. Livshits, E.G. Shul'geifer, "Foundations of category theory" Uspekhi Mat. Nauk , 15 : 6 (1960) pp. 3–52 (In Russian)
[4] Itogi Nauk. Algebra. Topol. 1962 (1963) pp. 90–106
[5] Itogi Nauk. Algebra. Topol. Geom. 1967 (1969) pp. 9–57
[6] M.Sh. Tsalenko, E.G. Shul'geifer, "Fundamentals of category theory" , Moscow (1974) (In Russian)
[7] M.C. Bunge, "Relative functor categories and categories of algebras" J. of Algebra , 11 (1969) pp. 64–101 MR0236238 Zbl 0165.32902
[8] S. Eilenberg, S. MacLane, Trans. Amer. Math. Soc. , 58 (1945) pp. 231–294
[9] P. Freyd, "Abelian categories: An introduction to the theory of functors" , Harper & Row (1964) MR0166240 Zbl 0121.02103
[10] P. Freyd, "On the concreteness of certain categories" , Symp. Math. , 4 , Acad. Press (1970) pp. 431–456 MR0271184 Zbl 0248.18008
[11] S. MacLane, "Categories for the working mathematician" , Springer (1971) Zbl 0232.18001
[12] H. Schubert, "Categories" , 1–2 , Springer (1972) MR0349793 Zbl 0253.18002
[13] B. Mitchell, "Theory of categories" , Acad. Press (1965) MR0202787 Zbl 0136.00604


Comments

The notion of a category was introduced in 1942 by S. Eilenberg and S. MacLane [a1], and has since found numerous applications in algebra, topology and the foundations of mathematics. The intuitive idea is that a category consists of all the objects in some "universe of mathematical discourse" together with all the mappings between them. By identifying an object with its identity morphism it is possible to define the notion of a category in terms of morphisms alone. It is intuitively clearer and also more customary to use both objects and morphisms. The two approaches are mixed-up to some extent in the article above. The object and morphism definition is as follows. A category consists of

A1) a class whose elements are called objects of , and a class whose elements are called morphisms or arrows of ;

A2) operations assigning to each morphism of a pair of objects , called the domain and codomain (or source and target) of . One writes "a: A B" or "AaB" to mean "a is a morphism with domain A and codomain B" ; this rephrases 1) above;

A3) an operation assigning to each object of a morphism , called the identity morphism on ; this is the precise meaning of part of 5) above;

A4) a partial (binary) product operation for morphisms, the product (called the composite of and ) being defined if and only if , and satisfying and whenever it is defined; this rephrases 3);

these data being subject to the axioms

A5) composition is associative, i.e. whenever both sides are defined; this rephrases 4) above;

A6) identity morphisms are units for composition, i.e. and whenever the composites are defined; this and A3) rephrase 5).

The classes and are not required to be sets, and in many of the leading examples (see, e.g. the main text above and the examples (A1)–(A4), (A7) below) they are not sets. However, most examples have the property that, for each pair of objects , the collection of morphisms with and forms a set (usually denoted by or ); such categories are sometimes called locally small, although other writers include this condition as part of the definition of a category. A category is said to be small if and are sets (cf. Small category); it turns out that many of the fundamental mathematical structures may be regarded as small categories (e.g. (A6) and (A7) below).

It follows from the definition that each object in a category has a unique identity morphism; thus it is possible to identify objects with their identity morphisms, leading to an axiomatization of categories in which "morphism" and "composite" are the only primitive notions (see [9]).

Examples of categories.

(A1) See the main article. The category of sets is more often denoted by .

(A3) Next to the category one may consider the categories of Abelian groups, of (right) modules over a fixed ring , etc.

(A4) The category of binary relations between sets is usually denoted by .

(A5) A semi-group with identity is also called a monoid. It defines a category with one object , the elements of being interpreted as morphisms .

(A6) A partially ordered set defines a category whose objects are the elements of , and whose morphisms are the instances of the order-relation: that is, there is just one morphism if , and none otherwise.

(A7) Similarly, an oriented graph (or diagram scheme) can be interpreted as a category of which the objects are the vertices and the morphism from to are the oriented paths from to including the trivial identity paths from to for all vertices. Inversely a category can be seen as a (very large) oriented graph with loops and multiple edges together with an equivalence relation identifying certain paths, cf. [11], Section II.7.

(A8) The homotopy category or has the same objects as , but its morphisms are homotopy classes of continuous mappings. This category can be proved to be nonconcrete.

In the study of categories, functors (morphisms of categories) play an essential role. A functor consists of two functions, one assigning to each object of an object of , and the other assigning to each morphism of a morphism of , in such a way that the categorical structure is preserved: , and whenever is defined. There is also a third level of structure: if and are both functors , a natural transformation (or functorial morphism is a function assigning to each object of a morphism in , such that for every in the diagram

commutes (i.e. ). Functors may be composed (and every category has an identity functor); thus there is a category of (small) categories and functors between them. Natural transformations may be composed; thus, given two categories and , there is a category (or ) of functors and natural transformations between them. This is one important way in which new categories are constructed from existing ones. The resulting categories are called categories of functors or categories of diagrams. The latter name is especially understandable if is the category corresponding to a diagram scheme (oriented graph). Indeed, then a functor "is" a diagram in . Other important constructions to obtain new categories are: taking quotients (cf. Quotient category), taking localizations (cf. Localization in categories) and constructing relative and comma categories. The important notion of a derived category involves several of these constructions. If is a category and an object of , then the relative category of objects over has as objects all morphisms of into and a morphism in of to is a morphism such that . Dually there is the notion of the relative category of objects in under a given object. Intuitively an object of is a family of objects of parametrized by or a fibre object (fibred object). The systematic consideration of these relative objects, i.e. fibre objects (and their duals) combined with base change and deformation ideas has become a most important technique in many parts of mathematics, especially in algebra (notably homological algebra), algebraic and differential geometry, topology, and differential and algebraic topology. It is especially important to find the right fibrewise versions of definitions, theorems and concepts. (A second additional not unrelated major trend involves finding the right equivariant versions in those case in which there is a group of symmetries present (as well).)

The idea of a comma category generalizes that of categories of objects over or under a given object. Let there be given three categories , , and two functors arranged as follows

Then the comma category or has as objects all triples consisting of an object , an object and a morphism in . A morphism from to consists of a pair of morphisms and such that .

Examples of functors. ITEM {(A9} The forgetful functor sends each topological space to its underlying set, and each continuous function to itself ( "forgetting" the continuity). Similarly, one has forgetful functors , , etc.

(A10) If is a locally small category, then for each there is a functor sending to the set and to the function which sends to . Such functors (or functors isomorphic to them in ) are called representable (cf. Representable functor).

(A11) There is a functor sending a set to the free group generated by , and a function to the unique homomorphism sending the generator of to , for each .

(A12) The (singular) homology groups of spaces (cf. Homology group) define functors (one for each dimension ).

(A13) A functor between monoids, considered as categories, is just a monoid homomorphism.

(A14) A functor between partially ordered sets, considered as categories, is just an order-preserving mapping.

(A15) If is a group, considered as a category, a functor (respectively, ) is a permutation (respectively, an -linear representation) of (cf. Representation of a group).

A functor is said to be faithful (cf. Faithful functor) if it is "injective on Hom-sets" ; i.e. if, given two morphisms and with the same domain and codomain in , implies . is said to be full if it is "surjective on Hom-sets" in a similar sense. Forgetful functors (as in (A9) above) are always faithful. The property that a category be concrete can now be rephrased as: There is a faithful functor .

Given a category , one can form its opposite or dual category by keeping the same objects as and reversing all the morphisms. The category is isomorphic to its opposite, though most familiar categories are not. A functor is sometimes called a contravariant functor from to ; for emphasis, functors are then called covariant. (For example, if is locally small, one may define a contravariant functor from to , by analogy with the covariant functor of example (A10) above.) The duality principle for categories is essentially the assertion that something which is true for all categories is true for the duals of all categories.

S. MacLane [a4] introduced the idea that Cartesian products can be characterized in categorical terms, by a universal property; this gave rise to the general categorical notion of limit (and the dual notion of colimit), which includes products as a special case (cf. Limit and Universal problems).

The key notion of adjunction came latter [a5]: given functors and , one says that is left adjoint to (written ) if there is a bijection between morphisms and morphisms which is natural in and ; this is equivalent to the existence of natural transformations and satisfying certain identities [11] (cf. Adjoint functor). For example, the free group functor (example (A11) above) is left adjoint to the forgetful functor ; Galois connections (cf. Galois correspondence) are examples of (contravariant) adjunctions between partially ordered sets. A functor which has a left adjoint preserves all limits; the converse implication is valid under suitable "smallness conditions" (the adjoint functor theorem, see [9]).

Given an adjunction as above, the composite functor is equipped with natural transformations and satisfying certain identities; these data define the notion of a monad or triple on a category, which played a central role in much categorical research in the 1960's and later years.

The identities which a triple on a category is required to satisfy are the following: , , . An algebra for the triple , or -algebra, is an object of together with a morphism such that the following identities hold: , . It is a good idea to write out these requirements in terms of commutative diagrams. They are reminiscent of associativity and unit requirements.

Dually, i.e. reversing all arrows, there is the notion of a cotriple and the corresponding notion of a co-algebra over such a cotriple. An important example of a cotriple in the category of commutative rings with unit element is the functor of the big Witt vectors together with the structure of a special -ring on . The co-algebras for this cotriple are precisely the special -algebras (cf. Witt vector and -ring).

Important examples of triples arise from adjunctions involving forgetful functors. For example, let be the forgetful functor from the category of commutative rings with unit element to the category of sets. This one has an adjoint which assigns to a set the free commutative ring with generator , i.e. the ring of commutative polynomials over in the variables , . The freeness property of , i.e. the property that for every ring and every collection of elements of there is precisely one homomorphism of rings such that for all , precisely expresses the fact that and are adjoint functors: . The corresponding natural transformation is given by (cf. also Adjoint functor).

Every monad and comonad can be induced by an adjunction; in fact there is a "best possible" such adjunction, in which is taken to be the category of (Eilenberg–Moore) algebras for the monad, [a7]. A general adjunction is said to be monadic (or is said to be monadic over ) if is (canonically) equivalent to the category of algebras for the induced monad on . The adjunction between the and , mentioned above, is monadic; more generally, the categories which are monadic over can be characterized [a8] as those which arise from varieties of universal algebras (provided one allows infinitary as well as finitary algebraic operations; the finitary case can also be characterized in categorical terms [9], using the notion of algebraic theory). See also Variety of universal algebras.

Another phrase that is used to denote a triple is algebraic theory (in monad form) over the category . It is so to speak the theory of the category of -algebras. There are, at least, two more equivalent ways in which this notion is approached. One is as follows [a6]. An algebraic theory in clone form consists of an "object assignment function" ( -terms with variables in ) for all objects , an "insertion of variables mapping" for all and a "clone-composition function" for each ordered triple of objects of . For each in let be the composite . Then the data are supposed to satisfy the following axioms. For all , , and ,

This defines a new category , the Kleishi category of . The objects of are the objects of , , composition is given by , and the identity morphisms are the in .

A simple example of an algebraic theory in clone form is as follows. Let be a ring with unit. For a set let be the vector space . A matrix with columns indexed by and rows indexed by is a mapping , i.e. a morphism in ; is the -th column of the matrix. Given an matrix and a matrix , define their composite by the usual matrix product, i.e. is the -vector with components

The insertion of variables assignment is defined by where denotes the Kronecker delta (cf. Kronecker symbol). It is easily checked that the axioms above are satisfied.

Let be an algebraic theory in clone form. For in define as the composite . It follows readily that is then a functor and that is a natural transformation. Further define as the composite . Then is also a natural transformation and is a triple. Moreover, this construction yielding a triple for each algebraic theory in clone form is a bijection. For a discussion of the algebraic theories (in clone and monad form) coming from a universal algebra and a third categorical way of viewing universal algebras see Universal algebra.

The language of categories and functors was originally introduced to meet the needs of algebraic topology and homological algebra [a1], [a4]. In the 1950's and early 1960's much attention was focused on Abelian categories (cf. Abelian category), which may be defined as categories satisfying all the elementary properties of ; it was shown in [2] that they provide an adequate foundation for the development of homological algebra, and in [a11] that every small Abelian category admits a full imbedding, preserving finite limits and colimits, into for some .

In an Abelian category , the "Hom-sets" have a natural Abelian group structure; this observation provided one of the incentives for developing the theory of enriched (or relative) categories [a12], that is, categories whose "Hom-sets" are objects of some "base category" . Categories enriched over themselves (such as and ) are called closed categories [a13] (cf. Closed category); an important class of closed categories (including but not ) consists of those where the closed structure (the "internal Hom" ) is related by an adjunction to the categorical product structure — such categories are called Cartesian closed. The notion of a Cartesian closed category played an important role in F.W. Lawvere's axiomatization of the category of small categories as a foundation for mathematics [a14], and in his latter development with M. Tierney of the notion of an elementary topos, which has dominated much of categorical research in the 1970's and 1980's (see [a15]). Cartesian closed categories are also of importance in logic, since they provide models for the (typed) -calculus (see [a16]).

Categories enriched over (commonly called -categories) have also received a good deal of attention in recent years. They are distinguished from the general run of enriched categories by the possibility of considering diagrams within them which commute "up to isomorphism" but not exactly; the weaker notion of a bicategory [a17] is a further expression of this idea. -categories and higher-dimensional categories have also been studied, and have proved to be of importance in the algebraic study of homotopy types [a18]. In these areas of category theory coherence theorems play an important part: these are theorems which allow one to deduce the commutativity of a large class of diagrams from that of certain particular diagrams (see [a19], for example).

Further areas of category theory in which much work has been done in recent years include the theory of fibred categories [a2] (which, together with enriched category theory, is an expression of the idea that can be replaced by some more general base category as a foundation for much of mathematics), and the theory of topological categories [a3] (which is concerned with the study of concrete categories whose forgetful functors to have good infinitary properties, similar to those of the forgetful functor , see also Topologized category).

In addition to the books [9] and [11], [12] and [13] may also be recommended as general accounts of category theory.

References

[a1] S. Eilenberg, S. MacLane, "Natural isomorphisms in group theory" Proc. Nat. Sci. USA , 28 (1942) pp. 537–543 MR0007421 Zbl 0061.09203
[a2] J. Bénabou, "Fibred categories and the foundations of naive category theory" J. Symbolic Logic , 50 (1985) pp. 10–37
[a3] G.C.L. Brümmer, "Topological categories" Topology Appl. , 18 (1984) pp. 27–41 MR0759137 Zbl 0551.18003
[a4] S. MacLane, "Duality for groups" Bull. Amer. Math. Soc. , 56 (1950) pp. 485–516
[a5] D.M. Kan, "Adjoint functors" Trans. Amer. Math. Soc. , 87 (1958) pp. 294–329 MR0131451 Zbl 0090.38906
[a6] E.G. Manes, "Algebraic theories" , Springer (1976) MR0419557 Zbl 0353.18007
[a7] S. Eilenberg, J.C. Moore, "Adjoint functors and triples" Ill. J. Math. , 9 (1965) pp. 381–398 MR0184984 Zbl 0135.02103
[a8] F.E.J. Linton, "Some aspects of equational categories" S. Eilenberg (ed.) et al. (ed.) , Proc. conf. categorical algebra (La Jolla, 1965) , Springer (1966) pp. 84–94 MR0209335 Zbl 0201.35003
[a9] F.W. Lawvere, "Functorial semantics of algebraic theories" Proc. Nat. Acad. Sci. USA , 50 (1963) pp. 869–872 MR0158921 Zbl 0119.25901
[a10] B. Pareigis, "Categories and functors" , Acad. Press (1970) MR0265427 MR0265428 Zbl 0211.32402
[a11] B. Mitchell, "The full imbedding theorem" Amer. J. Math. , 86 (1964) pp. 619–637 MR0167511 Zbl 0124.01502
[a12] G.M. Kelly, "Basic concepts of enriched category theory" , Cambridge Univ. Press (1982) MR0651714 Zbl 0478.18005
[a13] G.M. Kelly, "Closed categories" S. Eilenberg (ed.) et al. (ed.) , Proc. conf. categorical algebra (La Jolla, 1965) , Springer (1966) pp. 421–562 MR0225841 Zbl 0192.10604
[a14] F.W. Lawvere, "The category of categories as a foundation for mathematics" S. Eilenberg (ed.) et al. (ed.) , Proc. conf. categorical algebra (La Jolla, 1965) , Springer (1966) pp. 1–20 MR0207517 Zbl 0192.09702
[a15] P.T. Johnstone, "Topos theory" , Acad. Press (1977) MR0470019 Zbl 0368.18001
[a16] J. Lambek, P.J. Scott, "Introduction to higher-order categorical logic" , Cambridge Univ. Press (1986) MR0856915 Zbl 0596.03002
[a17] J. Bénabou, "Introduction to bicategories" , Reports of the Midwest Category Seminar I , Lect. notes in math. , 47 , Springer (1967) pp. 1–77 MR0220789
[a18] R. Brown, P.J. Higgins, "The equivalence of -groupoids and crossed complexes" Cahiers Top. et Géom. Diff. , 22 (1981) pp. 371–386 MR639048
[a19] S. MacLane, "Why commutative diagrams coincide with equivalent proofs" , Algebraists' Homage , Contemp. Math. , 13 , Amer. Math. Soc. (1982) pp. 387–401 Zbl 0504.18004
How to Cite This Entry:
Category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Category&oldid=19164
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article