A topos with no geometric morphism to any Boolean one

DOI10.1017/S0305004100062952MaRDI QIDQ3344337zbMATH OpenFDO

Authors Robert Paré

Publication date 1985

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

zbMATH Keywords

geometric morphismBoolean toposbounded morphismdecidable objects

Mathematics Subject Classification ID

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

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

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)