Grothendieck toposes have boolean points a new proof

DOI10.1080/00927877608822133zbMath0358.18011OpenAlexW2084908753MaRDI QIDQ4133795

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)

Related Items (max. 100)

A completeness theorem for open maps ⋮ An application of descent to a classification theorem for toposes ⋮ Open maps of toposes ⋮ Etendues and categories with monic maps ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sheaf models for choice sequences

Cites Work

• Toposes without points

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