Lawvere—Tierney sheaves in Algebraic Set Theory
Journal of Symbolic Logic 74 (3):861-890 (2009)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesGábor Sági (2000). A Completeness Theorem for Higher Order Logics. Journal of Symbolic Logic 65 (2):857-884.
Silvio Ghilardi & Marek Zawadowski (1995). A Sheaf Representation and Duality for Finitely Presented Heyting Algebras. Journal of Symbolic Logic 60 (3):911-939.
Mike Prest, Vera Puninskaya & Alexandra Ralph (2004). Some Model Theory of Sheaves of Modules. Journal of Symbolic Logic 69 (4):1187 - 1199.
Claire Kouwenhoven-Gentil & Jaap van Oosten (2005). Algebraic Set Theory and the Effective Topos. Journal of Symbolic Logic 70 (3):879 - 890.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Colin McLarty (1990). The Uses and Abuses of the History of Topos Theory. British Journal for the Philosophy of Science 41 (3):351-375.
Analytics
Monthly downloads |
Added to index2009-04-15Total downloads10 ( #106,196 of 549,037 )Recent downloads (6 months)4 ( #19,160 of 549,037 )How can I increase my downloads? |
My notes
Discussion
