Internal coproduct of abelian groups in an elementary topos

DOI10.1080/00927878208822773zbMath0477.18008OpenAlexW2144640394MaRDI QIDQ3934679

Roswitha Harting

Publication date: 1982

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927878208822773

zbMATH Keywords

dualism of topos theoryinternal coproduct of abelian groups in an elementary topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (4)

Univalent categories of modules ⋮ Unnamed Item ⋮ Locally injective abelian groups in a topos ⋮ Abelian groups in a topos: injectives and injective effacements

Cites Work

• Unnamed Item
• Unnamed Item
• Intuitionist type theory and the free topos
• La logique des topos

This page was built for publication: Internal coproduct of abelian groups in an elementary topos