The Gleason cover of a topos. I

DOI10.1016/0022-4049(80)90100-0zbMath0445.18004OpenAlexW2090967105MaRDI QIDQ1145204

Peter T. Johnstone

Publication date: 1980

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(80)90100-0

zbMATH Keywords

topos of sheavesGleason coverDe Morgan's lawHahn-Banach theorem in a toposorder-completion of the Dedekind real numbers

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Topoi (18B25) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Related Items (14)

Cartesian inclusion: locales and topgses^∗ ⋮ The point of pointless topology ⋮ Normal semicontinuity and the Dedekind completion of pointfree function rings ⋮ The Lee identities in topoi. I ⋮ Another condition equivalent to de morgan's law ⋮ Open maps of toposes ⋮ The Gleason cover of a topos. II ⋮ Unnamed Item ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ Boolean algebras in a localic topos ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Unnamed Item ⋮ Complemented sublocales and open maps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Projective topological spaces
• The Hahn-Banach theorem in a category of sheaves
• The Gleason cover of a topos. II
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• Rings, fields, and spectra
• Another condition equivalent to de morgan's law
• A Note on Projective Resolutions
• Tychonoff's theorem without the axiom of choice
• Extremally disconnected resolutions of $T_0$-spaces
• Boolean Algebras and Their Application to Topology
• Injective envelopes of Banach spaces are rigidly attached
• Topologische Projektivräume
• Extremally Disconnected Spaces
• Modules over commutative regular rings

This page was built for publication: The Gleason cover of a topos. I