dc.contributor
Centre de Recerca Matemàtica
dc.contributor.author
Awodey, Steve
dc.contributor.author
Gambino, Nicola
dc.contributor.author
Lumsdaine, P. L.
dc.contributor.author
Warren, M. A.
dc.date.accessioned
2008-09-04T13:59:12Z
dc.date.accessioned
2024-09-19T13:18:40Z
dc.date.available
2008-09-04T13:59:12Z
dc.date.available
2024-09-19T13:18:40Z
dc.identifier.uri
http://hdl.handle.net/2072/9168
dc.description.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 Grothen-dieck 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.
cat
dc.format.extent
330093 bytes
dc.format.mimetype
application/pdf
dc.publisher
Centre de Recerca Matemàtica
ca
dc.relation.ispartofseries
Prepublicacions del Centre de Recerca Matemàtica;775
dc.rights
Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús (http://creativecommons.org/licenses/by-nc-nd/2.5/es/)
cat
dc.subject.other
Conjunts, Teoria de
ca
dc.subject.other
Lògica matemàtica
ca
dc.subject.other
Categories (Matemàtica)
ca
dc.title
A general construction of internal sheaves in algebraic set theory
ca
dc.type
info:eu-repo/semantics/preprint
ca
