Higher Topos Theory › Section 2.2: Effective epimorphisms
Corollary 2.23.
Groupoid colimits are effective in a topos.