Abelian groups in a topos: injectives and injective effacements

DOI10.1016/0022-4049(83)90060-9zbMath0521.18006OpenAlexW2063702861WikidataQ114215411 ScholiaQ114215411MaRDI QIDQ1055543

Roswitha Harting

Publication date: 1983

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(83)90060-9

zbMATH Keywords

Grothendieck toposnatural number objectbounded morphismexistence of enough injective Abelian groupsinjective effacements

Mathematics Subject Classification ID

Topoi (18B25) Projectives and injectives (category-theoretic aspects) (18G05) Axiom of choice and related propositions (03E25) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Intuitionist type theory and the free topos
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• Change of base for toposes with generators
• Topos theory and Souslin's hypothesis
• Sur les structures d'effacement
• Sur quelques points d'algèbre homologique
• La logique des topos
• Injectivity, Projectivity, and the Axiom of Choice
• Internal coproduct of abelian groups in an elementary topos
• WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?
• The Existence of Injective Effacements
• Sheaves and Boolean valued model theory
• Boolean-valued equivalence relations and complete extensions of complete boolean algebras
• The axiom of choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abelian groups in a topos: injectives and injective effacements