Math and science::Algebra::Aluffi Canonical decomposition in the Grp category Theorem. Canonical decomposition in Grp In the Grp category, every group homomorphism φ:G→G′ may be decomposed as follows: Where φ~ is uniquely determined according to [what universal property?]. 05.04.2022