CatDat

Implication Details

Assumptions: pointed, strict initial object

Conclusions: trivial

Reason: If $0$ is the zero object, then for every object $A$ the unique morphism $A \to 0$ is an isomorphism by assumption.