Implication Details

Assumptions: extensive

Conclusions: disjoint finite coproducts, strict initial object

Reason: These are Prop. 2.6 and 2.8 in Introduction to extensive and distributive categories.