Composition in a category
= Composition in a category
{title2=$g\circ f$}
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.
= Composition in a category
{title2=$g\circ f$}
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.