Grothendieck toposes have boolean points a new proof

DOI10.1080/00927877608822133MaRDI QIDQ4133795zbMATH OpenOpenAlexFDO

Authors Radu Diaconescu

Publication date 1976

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927877608822133

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Recommendations

• Elementary axioms for canonical points of toposes
• On Representations of Grothendieck Toposes
• A topos with no geometric morphism to any Boolean one
• scientific article; zbMATH DE number 3904807
• scientific article; zbMATH DE number 672108

Cites work

• Toposes without points

Cited in

(11)

• Open maps of toposes
• Etendues and categories with monic maps
• A completeness theorem for open maps
• Boolean localization, in practice
• Elementary axioms for canonical points of toposes
• A topos with no geometric morphism to any Boolean one
• An application of descent to a classification theorem for toposes
• scientific article; zbMATH DE number 3824051 (Why is no real title available?)
• scientific article; zbMATH DE number 3941764 (Why is no real title available?)
• On Representations of Grothendieck Toposes
• Sheaf models for choice sequences

This page was built for publication: Grothendieck toposes have boolean points a new proof

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