Implication Details

Assumptions: elementary topos

Conclusions: disjoint finite coproducts, epi-regular, finitely cocomplete

Reason: See Mac Lane & Moerdijk, Cor. IV.5.4, Cor. IV.10.5, Thm. 4.7.8.