Corollary 2.23.

Groupoid colimits are effective in a topos.