Category of groups
= Category of groups
{title2=$\mathbf{Grp}$}
{wiki}
The category of groups has <groups> as objects and <group homomorphisms> as morphisms. Its product is the <direct product of groups>, and its coproduct is the <free product>, as expressed by the <universal property of a free product>.