Elementary axioms for canonical points of toposes

DOI10.2307/2273873zbMath0625.03047OpenAlexW2070443627WikidataQ114589056 ScholiaQ114589056MaRDI QIDQ3027006

Colin McLarty

Publication date: 1987

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273873

zbMATH Keywords

topos of sheavesBoolean toposlocal geometric morphismtwo-valued toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items (2)

Axiomatizing a category of categories ⋮ THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES

Cites Work

• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• Unnamed Item

This page was built for publication: Elementary axioms for canonical points of toposes