where the first map is the coproduct coprojection. This is a canonical factorization of f f as a coproduct coprojection followed by a (canonically) split epic. In Set \mathbf {Set}, it’s a canonical ...