### Theorem. Canonical decomposition in $$\cat{Grp}$$
In the $$\cat{Grp}$$ catgeroy, every group homomorphism $$\varphi : G \to G'$$ may be decomposed as follows:
Where $$\widetilde{\varphi}$$ is uniquely determined according to [what universal property?].