Difference between revisions of "Category (category theory)"
(New page: A category, <math>\mathcal{C}</math>, is a mathematical object consisting of: * A class, <math>\text{Ob}(\mathcal{C})</math> of objects. * For every pair of objects <math>A,B\in \text...) |
m |
||
| Line 6: | Line 6: | ||
** (associativity) Given <math>f:A\to B</math>, <math>g:B\to C</math> and <math>h:C \to D</math> we have <cmath>h\circ(g\circ f) = (h \circ g)\circ f.</cmath> | ** (associativity) Given <math>f:A\to B</math>, <math>g:B\to C</math> and <math>h:C \to D</math> we have <cmath>h\circ(g\circ f) = (h \circ g)\circ f.</cmath> | ||
** (identity) For and object <math>X</math>, there is an identity morphism <math>1_X:X\to X</math> such that for any <math>f:A\to B</math>: <cmath>1_B\circ f = f = f\circ 1_A.</cmath> | ** (identity) For and object <math>X</math>, there is an identity morphism <math>1_X:X\to X</math> such that for any <math>f:A\to B</math>: <cmath>1_B\circ f = f = f\circ 1_A.</cmath> | ||
| + | |||
| + | {{stub}} | ||
| + | |||
| + | [[Category:Category theory]] | ||
Revision as of 00:09, 2 September 2008
A category, 
, is a mathematical object consisting of:
- A class,
of objects. - For every pair of objects
, a class 
of morphisms from 
to 
. (We sometimes write 
to mean 
.) - For every three objects,
, a binary operation 
called composition, which satisfies:
- (associativity) Given
, 
and 
we have ![\[h\circ(g\circ f) = (h \circ g)\circ f.\]](//latex.artofproblemsolving.com/5/d/7/5d70e95a5f477d732eb7446c57b120cc8e5b2b7f.png)
- (identity) For and object
, there is an identity morphism 
such that for any : ![\[1_B\circ f = f = f\circ 1_A.\]](//latex.artofproblemsolving.com/a/e/c/aece5511fa01764dfc5258e44f54823bb93c2e2c.png)
- (associativity) Given
of objects.
, a class 
of morphisms from 
to 
. (We sometimes write 
to mean 
.)
, a binary operation 
called composition, which satisfies:
, 
and 
we have ![\[h\circ(g\circ f) = (h \circ g)\circ f.\]](http://latex.artofproblemsolving.com/5/d/7/5d70e95a5f477d732eb7446c57b120cc8e5b2b7f.png)
, there is an identity morphism 
such that for any ![\[1_B\circ f = f = f\circ 1_A.\]](http://latex.artofproblemsolving.com/a/e/c/aece5511fa01764dfc5258e44f54823bb93c2e2c.png)
This article is a stub. Help us out by expanding it.
