Editing Category (mathematics)

{{Short description|Mathematical object that generalizes the standard notions of sets and functions}}
{{Other uses|Category (disambiguation)#Mathematics}}

[[File:Category_SVG.svg|thumbnail|This is a category with a collection of objects A, B, C and collection of morphisms denoted f, g, {{nowrap|g ∘ f}}, and the loops are the identity arrows. This category is typically denoted by a boldface '''3'''.]]

In [[mathematics]], a '''category''' (sometimes called an '''abstract category''' to distinguish it from a [[concrete category]]) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows [[Associativity|associatively]] and the existence of an identity arrow for each object.  A simple example is the [[category of sets]], whose objects are [[set (mathematics)|sets]] and whose arrows are [[function (mathematics)|functions]].

''[[Category theory]]'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.  Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics.  As such, category theory provides an alternative foundation for mathematics to [[set theory]] and other proposed axiomatic foundations.  In general, the objects and arrows may be abstract entities of any kind, and the notion of category provides a fundamental and abstract way to describe mathematical entities and their relationships.

In addition to formalizing mathematics, category theory is also used to formalize many other systems in computer science, such as the [[semantics of programming languages]].

Two categories are the same if they have the same collection of objects, the same collection of arrows, and the same associative method of composing any pair of arrows. Two ''different'' categories may also be considered "[[equivalence of categories|equivalent]]" for purposes of category theory, even if they do not have precisely the same structure.

Well-known categories are denoted by a short capitalized word or abbreviation in bold or italics:  examples include '''[[category of sets|Set]]''', the category of [[set (mathematics)|sets]] and [[function (mathematics)|set functions]]; '''[[category of rings|Ring]]''', the category of [[ring (mathematics)|rings]] and [[ring homomorphism]]s; and '''[[category of topological spaces|Top]]''', the category of [[topological space]]s and [[continuous map]]s. All of the preceding categories have the [[identity function|identity map]] as identity arrows and [[function composition|composition]] as the associative operation on arrows.

The classic and still much used text on category theory is ''[[Categories for the Working Mathematician]]'' by [[Saunders Mac Lane]]. Other references are given in the [[#References|References]] below. The basic definitions in this article are contained within the first few chapters of any of these books.
{{Group-like structures}}
Any [[monoid]] can be understood as a special sort of category (with a single object whose self-morphisms are represented by the elements of the monoid), and so can any [[preorder]].

==Definition==
There are many equivalent definitions of a category.<ref>{{harvnb|Barr|Wells|2005|loc=Chapter 1}}</ref> One commonly used definition is as follows.  A '''category''' ''C'' consists of
* a [[Class (set theory)|class]] ob(''C'') of '''[[mathematical_object|object]]s''',
* a class mor(''C'') of '''[[morphism]]s''' or '''arrows''',
*a '''domain''' or '''source''' class function dom: mor(C) → ob(C),
*a '''codomain''' or '''target''' class function cod: mor(C) → ob(C),
* for every three objects ''a'', ''b'' and ''c'', a binary operation hom(''a'', ''b'') × hom(''b'', ''c'') → hom(''a'', ''c'') called '''composition of morphisms'''. Here hom(''a'', ''b'') denotes the subclass of morphisms ''f'' in  mor(''C'') such that dom(f) = ''a'' and cod(f) = ''b''.  Morphisms in this subclass are written ''f'' : ''a'' → ''b'', and the composite of ''f'' : ''a'' → ''b'' and ''g'' : ''b'' → ''c'' is often written as ''g'' ∘ ''f'' or ''gf''. 
such that the following axioms hold:
* the ''[[associativity|associative law]]'': if ''f'' : ''a'' → ''b'', ''g'' : ''b'' → ''c'' and ''h'' : ''c'' → ''d'' then ''h'' ∘ (''g'' ∘ ''f'') = (''h'' ∘ ''g'') ∘ ''f'', and
* the '''([[identity (mathematics)|left and right unit laws]])''': for every object ''x'', there exists a morphism 1<sub>''x''</sub> : ''x'' → ''x'' (some authors write ''id''<sub>''x''</sub>) called the ''identity morphism for x'', such that every morphism ''f'' : ''a'' → ''x'' satisfies 1<sub>''x''</sub> ∘ ''f'' = ''f'', and every morphism ''g'' : ''x'' → ''b'' satisfies ''g'' ∘ 1<sub>''x''</sub> = ''g''.

We write ''f'': ''a'' → ''b'', and we say "''f'' is a morphism from ''a'' to ''b''". We write hom(''a'', ''b'') (or hom<sub>''C''</sub>(''a'', ''b'') when there may be confusion about to which category hom(''a'', ''b'') refers) to denote the '''hom-class''' of all morphisms from ''a'' to ''b''.<ref>Some authors write Mor(''a'', ''b'') or simply ''C''(''a'', ''b'') instead.</ref> 

Some authors write the composite of morphisms in "diagrammatic order", writing ''f;g'' or ''fg'' instead of ''g'' ∘ ''f''.

From these axioms, one can prove that there is exactly one identity morphism for every object.  Often the map assigning each object its identity morphism is treated as an extra part of the structure of a category, namely a class function i: ob(C) → mor(C).  
Some authors use a slight variant of the definition in which each object is identified with the corresponding identity morphism. This stems from the idea that the fundamental data of categories are morphisms and not objects. In fact, categories can be defined without reference to objects at all using a partial binary operation with additional properties.

==Small and large categories==

A category ''C'' is called '''small''' if both ob(''C'') and mor(''C'') are actually [[Set (mathematics)|sets]] and not [[proper class]]es, and '''large''' otherwise. A '''locally small category''' is a category such that for all objects ''a'' and ''b'', the hom-class hom(''a'', ''b'') is a set, called a '''homset'''. Many important categories in mathematics (such as the category of sets), although not small, are at least locally small.  Since, in small categories, the objects form a set, a small category can be viewed as an [[algebraic structure]] similar to a [[monoid]] but without requiring [[closure (mathematics)|closure]] properties.  Large categories on the other hand can be used to create "structures" of algebraic structures.

==Examples==
The [[class (set theory)|class]] of all sets (as objects) together with all [[function (mathematics)|function]]s between them (as morphisms), where the composition of morphisms is the usual [[function composition]], forms a large category, '''[[category of sets|Set]]'''. It is the most basic and the most commonly used category in mathematics. The category '''[[category of relations|Rel]]''' consists of all [[Set (mathematics)|sets]] (as objects) with [[binary relation]]s between them (as morphisms).  Abstracting from [[Relation (mathematics)|relations]] instead of functions yields [[Allegory (category theory)|allegories]], a special class of categories.

Any class can be viewed as a category whose only morphisms are the identity morphisms. Such categories are called [[discrete category|discrete]]. For any given [[Set (mathematics)|set]] ''I'', the ''discrete category on I'' is the small category that has the elements of ''I'' as objects and only the identity morphisms as morphisms. Discrete categories are the simplest kind of category.

Any [[Preorder|preordered set]] (''P'', ≤) forms a small category, where the objects are the members of ''P'', the morphisms are arrows pointing from ''x'' to ''y'' when ''x'' ≤ ''y''. Furthermore, if ''≤'' is [[antisymmetric relation|antisymmetric]], there can be at most one morphism between any two objects. The existence of identity morphisms and the composability of the morphisms are guaranteed by the [[reflexive relation|reflexivity]] and the [[transitive relation|transitivity]] of the preorder. By the same argument, any [[partially ordered set]] and any [[equivalence relation]] can be seen as a small category. Any [[ordinal number]] can be seen as a category when viewed as an [[total order|ordered set]].

Any [[monoid]] (any [[algebraic structure]] with a single [[associative]] [[binary operation]] and an [[identity element]]) forms a small category with a single object ''x''. (Here, ''x'' is any fixed set.) The morphisms from ''x'' to ''x'' are precisely the elements of the monoid, the identity morphism of ''x'' is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation.  Several definitions and theorems about monoids may be generalized for categories.

Similarly any [[group (mathematics)|group]] can be seen as a category with a single object in which every morphism is ''invertible'', that is, for every morphism ''f'' there is a morphism ''g'' that is both [[Morphism#Some specific morphisms|left and right inverse]] to ''f'' under composition. A morphism that is invertible in this sense is called an [[isomorphism]].

A [[groupoid]] is a category in which every morphism is an isomorphism. Groupoids are generalizations of groups, [[Group action (mathematics)|group action]]s and [[equivalence relation]]s. Actually, in the view of category the only difference between groupoid and group is that a groupoid may have more than one object but the group must have only one. Consider a topological space ''X'' and fix a base point <math>x_0</math> of ''X'', then <math>\pi_1(X,x_0)</math> is the [[fundamental group]] of the topological space ''X'' and the base point <math>x_0</math>, and as a set it has the structure of group; if then let the base point <math>x_0</math> runs over all points of ''X'', and take the union of all <math>\pi_1(X,x_0)</math>, then the set we get has only the structure of groupoid (which is called as the [[fundamental groupoid]] of ''X''): two loops (under equivalence relation of homotopy) may not have the same base point so they cannot multiply with each other. In the language of category, this means here two morphisms may not have the same source object (or target object, because in this case for any morphism the source object and the target object are same: the base point) so they can not compose with each other.

[[File:Directed.svg|125px|thumb|A directed graph.]]
Any [[directed graph]] [[Generating set|generates]] a small category: the objects are the [[Vertex (graph theory)|vertices]] of the graph, and the morphisms are the paths in the graph (augmented with [[loop (graph theory)|loop]]s as needed) where composition of morphisms is concatenation of paths. Such a category is called the ''[[free category]]'' generated by the graph.

The class of all preordered sets with order-preserving functions (i.e., monotone-increasing functions) as morphisms forms a category, '''[[category of preordered sets|Ord]]'''. It is a [[concrete category]], i.e. a category obtained by adding some type of structure onto '''Set''', and requiring that morphisms are functions that respect this added structure.

The class of all groups with [[group homomorphism]]s as [[morphism]]s and [[function composition]] as the composition operation forms a large category, '''[[Category of groups|Grp]]'''. Like '''Ord''', '''Grp''' is a concrete category. The category '''[[category of abelian groups|Ab]]''', consisting of all [[abelian group]]s and their group homomorphisms, is a [[full subcategory]] of '''Grp''', and the prototype of an [[abelian category]].

The class of all [[graph theory|graphs]] forms another concrete category, where morphisms are graph homomorphisms (i.e., mappings between graphs which send vertices to vertices and edges to edges in a way that preserves all adjacency and incidence relations).

Other examples of concrete categories are given by the following table.

{| class="wikitable"
!Category
!Objects
!Morphisms
|-
|'''[[category of sets|Set]]'''
|[[Set (mathematics)|set]]s
|[[Function (mathematics)|function]]s
|-
|'''[[category of preordered sets|Ord]]'''
|preordered sets
|monotone-increasing functions
|-
|'''[[category of monoids|Mon]]'''
|[[monoids]]
|[[Monoid#Monoid homomorphisms|monoid homomorphisms]]
|-
|'''[[category of groups|Grp]]'''
|[[Group (mathematics)|group]]s
|[[group homomorphism]]s
|-
|'''[[category of graphs|Grph]]'''
|[[graph theory|graph]]s
|graph homomorphisms
|-
|'''[[category of rings|Ring]]'''
|[[ring (mathematics)|ring]]s
|[[ring homomorphism]]s
|-
|'''[[category of fields|Field]]'''
|[[field (mathematics)|field]]s
|[[field homomorphism]]s
|-
|'''[[category of modules|''R''-Mod]]'''
|[[module (mathematics)|''R''-modules]], where ''R'' is a ring
|[[module homomorphism|''R''-module homomorphisms]]
|-
|[[K-Vect|'''Vect'''<sub>''K''</sub>]]
|[[vector space]]s over the [[field (mathematics)|field]] ''K''
|''K''-[[linear map]]s
|-
|'''[[category of metric spaces|Met]]'''
|[[metric space]]s
|[[short map]]s
|-
|'''[[Category of measurable spaces|Meas]]'''
|[[measure space]]s
|[[measurable function]]s
|-
|'''[[category of topological spaces|Top]]'''
|[[topological space]]s
|[[continuous function (topology)|continuous function]]s
|-
|[[category of manifolds|'''Man'''<sup>''p''</sup>]]
|[[smooth manifold]]s
|''p''-times [[continuously differentiable]] maps
|}

[[Fiber bundle]]s with [[bundle map]]s between them form a concrete category.

The category '''[[category of small categories|Cat]]''' consists of all small categories, with [[functor]]s between them as morphisms.

== Construction of new categories ==

=== Dual category ===
Any category ''C'' can itself be considered as a new category in a different way: the objects are the same as those in the original category but the arrows are those of the original category reversed. This is called the [[Opposite category|''dual'' or ''opposite category'']] and is denoted ''C''<sup>op</sup>.

=== Product categories ===
If ''C'' and ''D'' are categories, one can form the ''product category'' ''C'' × ''D'': the objects are pairs consisting of one object from ''C'' and one from ''D'', and the morphisms are also pairs, consisting of one morphism in ''C'' and one in ''D''. Such pairs can be composed [[N-tuple|componentwise]].

==Types of morphisms==
A [[morphism]] ''f'' : ''a'' → ''b'' is called
* a ''[[monomorphism]]'' (or ''monic'') if it is left-cancellable, i.e. ''fg''<sub>1</sub> = ''fg''<sub>2</sub> implies ''g''<sub>1</sub> = ''g''<sub>2</sub> for all morphisms ''g''<sub>1</sub>, ''g''<sub>2</sub> : ''x'' → ''a''.
* an ''[[epimorphism]]'' (or ''epic'') if it is right-cancellable, i.e. ''g''<sub>1</sub>''f'' = ''g''<sub>2</sub>''f'' implies ''g''<sub>1</sub> = ''g''<sub>2</sub> for all morphisms ''g''<sub>1</sub>, ''g''<sub>2</sub> : ''b'' → ''x''.
* a ''[[bimorphism]]'' if it is both a monomorphism and an epimorphism.
* a ''[[retract (category theory)|retraction]]'' if it has a right inverse, i.e. if there exists a morphism ''g'' : ''b'' → ''a'' with ''fg'' = 1<sub>''b''</sub>.
* a ''[[section (category theory)|section]]'' if it has a left inverse, i.e. if there exists a morphism ''g'' : ''b'' → ''a'' with ''gf'' = 1<sub>''a''</sub>.
* an ''[[isomorphism]]'' if it has an inverse, i.e. if there exists a morphism ''g'' : ''b'' → ''a'' with ''fg'' = 1<sub>''b''</sub> and ''gf'' = 1<sub>''a''</sub>.
* an ''[[endomorphism]]'' if ''a'' = ''b''. The class of endomorphisms of ''a'' is denoted end(''a''). For locally small categories, end(''a'') is a ''set'' and forms a [[monoid]] under morphism composition.
* an ''[[automorphism]]'' if ''f'' is both an endomorphism and an isomorphism. The class of automorphisms of ''a'' is denoted aut(''a''). For locally small categories, it forms a [[group (mathematics)|group]] under morphism composition called the ''[[automorphism group]]'' of ''a''.

Every retraction is an epimorphism. Every section is a monomorphism. The following three statements are equivalent:
* ''f'' is a monomorphism and a retraction;
* ''f'' is an epimorphism and a section;
* ''f'' is an isomorphism.

Relations among morphisms (such as ''fg'' = ''h'') can most conveniently be represented with [[commutative diagram]]s, where the objects are represented as points and the morphisms as arrows.

==Types of categories==
* In many categories, e.g. '''[[category of abelian groups|Ab]]''' or [[K-Vect|'''Vect'''<sub>''K''</sub>]], the hom-sets hom(''a'', ''b'') are not just sets but actually [[abelian group]]s, and the composition of morphisms is compatible with these group structures; i.e. is [[Bilinear form|bilinear]]. Such a category is called [[preadditive category|preadditive]]. If, furthermore, the category has all finite [[product (category theory)|products]] and [[coproduct]]s, it is called an [[additive category]]. If all morphisms have a [[kernel (category theory)|kernel]] and a [[cokernel]], and all epimorphisms are cokernels and all monomorphisms are kernels, then we speak of an [[abelian category]]. A typical example of an abelian category is the category of abelian groups.
* A category is called [[complete category|complete]] if all small [[limit (category theory)|limits]] exist in it. The categories of sets, abelian groups and topological spaces are complete.
* A category is called [[cartesian closed category|cartesian closed]] if it has finite direct products and a morphism defined on a finite product can always be represented by a morphism defined on just one of the factors. Examples include '''[[Category of sets|Set]]''' and '''CPO''', the category of [[complete partial order]]s with [[Scott continuity|Scott-continuous functions]].
* A [[topos]] is a certain type of cartesian closed category in which all of mathematics can be formulated (just like classically all of mathematics is formulated in the category of sets). A topos can also be used to represent a logical theory.

==See also==
{{Portal|Mathematics}}
* [[Enriched category]]
* [[Higher category theory]]
* [[Quantaloid]]
* [[Table of mathematical symbols]]
*[[Space (mathematics)]]
*[[Structure (mathematics)]]

==Notes==
{{Reflist}}

==References==
{{refbegin}}
* {{Citation| last1=Adámek |first1=Jiří |last2=Herrlich |first2=Horst |last3=Strecker |first3=George E. |year=1990 |title=Abstract and Concrete Categories |publisher=Wiley  |isbn=0-471-60922-6|url=http://katmat.math.uni-bremen.de/acc/acc.pdf}} (now free on-line edition, [[GNU Free Documentation License|GNU FDL]]).
* {{Citation| last1=Asperti| first1=Andrea| last2=Longo| first2=Giuseppe| year=1991| title=Categories, Types and Structures| publisher=MIT Press| url=https://archive.org/details/categoriestypess00aspe_0| isbn=0-262-01125-5| url-access=registration}}.
* {{Citation| last1=Awodey | first1=Steve | year=2006| title=Category theory| volume=49| series=Oxford logic guides| publisher=Oxford University Press| isbn = 978-0-19-856861-2}}.
*{{citation
 | last1 = Barr | first1 = Michael | author1-link = Michael Barr (mathematician)
 | last2 = Wells | first2 = Charles | author2-link = Charles Wells (mathematician)
 | edition = revised
 | series = Reprints in Theory and Applications of Categories
 | mr = 2178101
 | title = Toposes, Triples and Theories
 | url = http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html
 | volume = 12
 | year = 2005}}. 
* {{Citation| last=Borceux| first=Francis| year=1994| chapter=Handbook of Categorical Algebra| title=Encyclopedia of Mathematics and its Applications| location=Cambridge |publisher=Cambridge University Press| volume=50–52| isbn=0-521-06119-9}}.
* {{springer|title=Category|id=p/c020740}}
* {{Citation| last1= Herrlich |first1= Horst |last2=Strecker |first2=George E. |year=2007 |title=Category Theory |publisher= Heldermann Verlag |isbn = 978-3-88538-001-6}}.
* {{Citation| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| publisher=Dover| isbn = 978-0-486-47187-7}}.
* {{Citation| last1=Lawvere| first1=William| author1-link=William Lawvere| last2=Schanuel| first2=Steve| year=1997| title=Conceptual Mathematics: A First Introduction to Categories | publisher=Cambridge University Press| isbn=0-521-47249-0}}.
* {{Citation| last=Mac Lane| first=Saunders| author-link=Saunders Mac Lane| year=1998| title=[[Categories for the Working Mathematician]]| edition=2nd| series=Graduate Texts in Mathematics |volume=5| publisher=Springer-Verlag| isbn = 0-387-98403-8}}.
* {{Citation| last=Marquis| first=Jean-Pierre| contribution=Category Theory| editor-last=Zalta| editor-first=Edward N.| title=[[Stanford Encyclopedia of Philosophy]]| year=2006| contribution-url=http://plato.stanford.edu/entries/category-theory/}}.
* {{Citation| last1=Sica| first1=Giandomenico | year=2006| title=What is category theory?| volume=3| series=Advanced studies in mathematics and logic| publisher=Polimetrica| isbn = 978-88-7699-031-1}}.
*{{nlab|id=category}}
{{refend}}

{{Category theory}}
{{Authority control}}

[[Category:Category theory|*]]
[[Category:Algebraic structures]]