I know how to prove $0 \times a \cong 0$ in categories admitting exponentiation (and initial objects, of course). But does this hold for categories that don't have exponentiation?
I don't have enough examples in my mental categories library to give a counter-example, nor have I managed to prove that $0 \times a \cong 0$ based on just the notion of products.