 Composition in a category

Given morphisms $f:A\to B$ and $g:B\to C$, their composite is $gf:A\to C$. Composition is associative and has the identity morphisms as units.