The associated sheaf functor theorem in algebraic set theory

DOI10.1016/J.APAL.2008.06.008zbMath1159.03046OpenAlexW2062722679WikidataQ61834701 ScholiaQ61834701MaRDI QIDQ958487

Nicola Gambino

Publication date: 5 December 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/113165/1/associated-sheaf.pdf

zbMATH Keywords

sheavespresheavesalgebraic set theoryGrothendieck site

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Categorical semantics of formal languages (18C50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (2)

Aspects of predicative algebraic set theory. I: Exact completion ⋮ Lawvere–Tierney sheaves in Algebraic Set Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relating first-order set theories, toposes and categories of classes
• Harvey Friedman's research on the foundations of mathematics
• Sheaf models for set theory
• Sheaves in geometry and logic: a first introduction to topos theory
• A completeness theorem for open maps
• Completeness results for intuitionistic and modal logic in a categorical setting
• Wellfounded trees in categories
• Independence results around constructive ZF
• The associated sheaf functor in an elementary topos
• Aspects of general topology in constructive set theory
• Heyting-valued interpretations for constructive set theory
• Regular universes and formal spaces
• A Unified Approach to Algebraic Set Theory
• Forcing in intuitionistic systems without power-set
• Freyd’s models for the independence of the axiom of choice
• On the regular extension axiom and its variants
• The generalised type-theoretic interpretation of constructive set theory
• Aspects of topoi
• Algebraic set theory and the effective topos
• The axiom of choice
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: The associated sheaf functor theorem in algebraic set theory