Title: Injective abelian groups in an elementary topos