A topos with no geometric morphism to any Boolean one

DOI10.1017/S0305004100062952zbMATH Open0551.18002MaRDI QIDQ3344337FDOQ3344337

Authors: Robert Paré 

Publication date: 1985

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Recommendations

• Topology without the union axiom (revisited)
• scientific article; zbMATH DE number 2113459
• A Class of Topological Boolean Algebras
• A topological version of Hilbert's Nullstellensatz
• The non-existence of a universal topological type space
• Geometric morphisms of realizability toposes
• A Topological Space without a Complete Quasi-Uniformity
• Grothendieck toposes have boolean points a new proof
• Topological spaces without property (wa)
• scientific article; zbMATH DE number 1210856

zbMATH Keywords

geometric morphismBoolean toposbounded morphismdecidable objects

Mathematics Subject Classification ID

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

Cited In (1)

• Grothendieck toposes have boolean points a new proof

This page was built for publication: A topos with no geometric morphism to any Boolean one

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