De Morgan classifying toposes

DOI10.1016/j.aim.2009.07.009zbMath1183.18003arXiv0808.1519OpenAlexW2963184861MaRDI QIDQ1034091

Olivia Caramello

Publication date: 10 November 2009

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0808.1519

zbMATH Keywords

Grothendieck toposgeometric theoryclassifying toposBoolean toposDe Morgan topos

Mathematics Subject Classification ID

Topoi (18B25)

Related Items (8)

Topologies for intermediate logics ⋮ Universal models and definability ⋮ The Unification of Mathematics via Topos Theory ⋮ On infinite variants of De Morgan law in locale theory ⋮ Fraïssé's construction from a topos-theoretic perspective ⋮ Atomic toposes and countable categoricity ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ De Morgan's law and the theory of fields

Cites Work

• Unnamed Item
• Classifying topoi and finite forcing
• Sheaves in geometry and logic: a first introduction to topos theory
• Yoneda representations of flat functors and classifying toposes

This page was built for publication: De Morgan classifying toposes