CatDat

Implication Details

Assumptions: biproducts, finitely complete, pointed

Conclusions: unital

Reason: For all objects $X,Y$ the morphism $X \sqcup Y \to X \times Y$ is an isomorphism, hence a strong epimorphism.