# Category (category theory)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A category, $\mathcal{C}$, is a mathematical object consisting of:

• A class, $\text{Ob}(\mathcal{C})$ of objects.
• For every pair of objects $A,B\in \text{Ob}(\mathcal{C})$, a class $\text{Hom}(A,B)$ of morphisms from $A$ to $B$. (We sometimes write $f:A \to B$ to mean $f\in \text{Hom}(A,B)$.)
• For every three objects, $A,B,C \in \mathcal{C}$, a binary operation $\circ: \text{Hom}(B,C) \times \text{Hom}(A,B) \to \text{Hom}(A,C)$ called composition, which satisfies:
• (associativity) Given $f:A\to B$, $g:B\to C$ and $h:C \to D$ we have $$h\circ(g\circ f) = (h \circ g)\circ f.$$
• (identity) For and object $X$, there is an identity morphism $1_X:X\to X$ such that for any $f:A\to B$: $$1_B\circ f = f = f\circ 1_A.$$