Lawvere-Tierney sheaves in algebraic set theory
| Autor: | Awodey, Steve, Gambino, Nicola, Lumsdaine, Peter L., Warren, Michael A. |
|---|---|
| Rok vydání: | 2007 |
| Předmět: | |
| Zdroj: | Journal of Symbolic Logic, Volume 74, Issue 3 (2009), 861-890 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.2178/jsl/1245158088 |
| Popis: | We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results. Comment: 33 pages; a revised version of the earlier paper "A general construction of internal sheaves in algebraic set theory"; accepted for publication in the Journal of Symbolic Logic |
| Databáze: | arXiv |
| Externí odkaz: |
|