Roswitha Harting

• Injective abelian groups in an elementary topos