Implication Details

Assumptions: Grothendieck topos

Conclusions: coproducts, elementary topos, generating set, locally essentially small

This is an equivalence.

Reason: See Mac Lane & Moerdijk, Appendix, Prop. 4.4.