Injectivity and modelling in the Blass topos

DOI10.1016/0022-4049(87)90120-4MaRDI QIDQ1103043zbMATH OpenOpenAlexWikidataFDO

Authors Bernhard Banaschewski

Publication date 1987

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(87)90120-4

zbMATH Keywords

Blass toposinjectives

Mathematics Subject Classification ID

Topoi (18B25)

Review text

\textit{A. Blass} [Trans. Am. Math. Soc. 255, 31--59 (1979; Zbl 0426.03053)] invented an elementary topos \(B\) in which there are no non-zero injective abelian groups, contrary to our usual experience in the topos of (say) Gödel-Bernays with \(AC\) sets. This paper shows that for the interpretations in \(B\) of modules over any ring, Boolean algebras, and distributive lattices there are likewise no non-trivial injectives. On the other hand, the category of semilattices in \(B\) does have enough injectives, as do partially ordered sets and normed linear spaces (if injectivity is defined via embeddings rather than general monomorphisms).

Recommendations

• scientific article; zbMATH DE number 3845809
• Injectivity and injective hulls of Abelian groups in a localic topos
• Algebra in a category: injectivity in equational classes
• scientific article; zbMATH DE number 440058
• scientific article; zbMATH DE number 3946417

Cites work

• Banach sheaves
• Categorial characterization of the MacNeille completion
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3277970 (Why is no real title available?)
• scientific article; zbMATH DE number 3297125 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• Injective envelopes of Banach spaces
• Injective Hulls of Semilattices
• Injectivity, Projectivity, and the Axiom of Choice
• Purity and algebraic compactness for modules

Cited in

(3)

• scientific article; zbMATH DE number 3845809 (Why is no real title available?)
• Injectivity and injective hulls of Abelian groups in a localic topos
• Weak injectivity in the category of normal fuzzy hypergroups

This page was built for publication: Injectivity and modelling in the Blass topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103043)