Lawvere–Tierney sheaves in Algebraic Set Theory

DOI10.2178/jsl/1245158088zbMath1183.03068arXiv0711.1529OpenAlexW3100082872WikidataQ61834699 ScholiaQ61834699MaRDI QIDQ3399181

Peter LeFanu Lumsdaine, Michael A. Warren, Nicola Gambino, Steven Awodey

Publication date: 29 September 2009

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

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

zbMATH Keywords

algebraic set theoryLawvere-Tierney coveragesLawvere-Tierney sheaves

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Categories of sets, characterizations (18B05)

Related Items (2)

Relativized Grothendieck topoi ⋮ Higher order functions and Brouwer’s thesis

Cites Work

• Unnamed Item
• Coalgebras in a category of classes
• The associated sheaf functor theorem in algebraic set theory
• Aspects of predicative algebraic set theory. I: Exact completion
• Sheaf models for set theory
• Regular and exact completions
• Independence results around constructive ZF
• Some free constructions in realizability and proof theory
• Heyting-valued interpretations for constructive set theory
• The axiom of choice
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: Lawvere–Tierney sheaves in Algebraic Set Theory