I'm familiar with the universal property of coproducts, but I have no idea how to prove something like $h \circ [ f, g ] \equiv [ h \circ f, h \circ g ]$. The diagram obviously commutes, but I can't see how you'd prove this with the category + coproduct identities.
How might I go about this?