Grothendieck toposes have boolean points a new proof

DOI10.1080/00927877608822133zbMATH Open0358.18011OpenAlexW2084908753MaRDI QIDQ4133795FDOQ4133795

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

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

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

(10)

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

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)