deepdream of
          a sidewalk
Show Answer
Math and science::Algebra::Aluffi

Canonical decomposition in the Grp category

Theorem. Canonical decomposition in Grp

In the Grp category, every group homomorphism φ:GG may be decomposed as follows:

Where φ~ is uniquely determined according to [what universal property?].