Grothendieck toposes have boolean points a new proof
From MaRDI portal
Publication:4133795
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
Recommendations
Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Foundations, relations to logic and deductive systems (18A15)
Cites Work
Cited In (10)
- Open maps of toposes
- Etendues and categories with monic maps
- On Representations of Grothendieck Toposes
- Elementary axioms for canonical points of toposes
- A completeness theorem for open maps
- Sheaf models for choice sequences
- A topos with no geometric morphism to any Boolean one
- Title not available (Why is that?)
- Title not available (Why is that?)
- An application of descent to a classification theorem for 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)