Category

Definition

A category ${\mathcal {C}}$ is the following data:

• A collection $\operatorname {Ob} {\mathcal {C}}$ of objects.
• For any objects $A,B\in \operatorname {Ob} {\mathcal {C}}$, a collection ${\mathcal {C}}(A,B)$ of morphisms. Every element in ${\mathcal {C}}(A,B)$ is termed a morphism from $A$ (i.e., with source or domain $A$) to $B$ (i.e., with target or co-domain $B$). The morphism sets for different pairs of objects are disjoint.
• For every object $A\in \operatorname {Ob} {\mathcal {C}}$, a distinguished morphism $\operatorname {id} _{A}\in {\mathcal {C}}(A,A)$.
• For $A,B,C\in \operatorname {Ob} {\mathcal {C}}$, a map, called composition of morphisms, from ${\mathcal {C}}(B,C)\times {\mathcal {C}}(A,B)$ to ${\mathcal {C}}(A,C)$. This map is denoted by $\circ$.

satisfying the following compatibility conditions:

• For $A,B,C,D\in \operatorname {Ob} {\mathcal {C}}$, with $f\in {\mathcal {C}}(A,B),g\in {\mathcal {C}}(B,C),h\in {\mathcal {C}}(C,D)$, we have $h\circ (g\circ f)=(h\circ g)\circ f$.
• For $A,B\in \operatorname {Ob} {\mathcal {C}}$, with $f\in {\mathcal {C}}(A,B)$, we have $f\circ \operatorname {id} _{A}=\operatorname {id} _{B}\circ f=f$.