Implication Details

Assumptions: extensive

Conclusions: strict initial object

Reason: This is Prop. 2.8 in Introduction to extensive and distributive categories.