A general construction of internal sheaves in algebraic set theory

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 we...

Descripción completa

Detalles Bibliográficos
Autores: Awodey, Steve, Gambino, Nicola, Lumsdaine, P. L., Warren, M. A.
Tipo de recurso: artículo
Fecha de publicación:2007
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:44083
Acceso en línea:https://ddd.uab.cat/record/44083
Access Level:acceso abierto
Palabra clave:Conjunts, Teoria de
Lògica matemàtica
Categories (Matemàtica)
id ES_9f0c720bb3300a5d82e1f3aac29e11b6
oai_identifier_str oai:ddd.uab.cat:44083
network_acronym_str ES
network_name_str España
repository_id_str
spelling A general construction of internal sheaves in algebraic set theoryAwodey, SteveGambino, NicolaLumsdaine, P. L.Warren, M. A.Conjunts, Teoria deLògica matemàticaCategories (Matemàtica)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.Centre de Recerca MatemàticaCentre de Recerca Matemàtica 22007-01-0120072007-01-01Articlehttp://purl.org/coar/resource_type/c_6501AOhttp://purl.org/coar/version/c_b1a7d7d4d402bcceinfo:eu-repo/semantics/articleapplication/pdfhttps://ddd.uab.cat/record/44083reponame:Dipòsit Digital de Documents de la UABinstname:Universitat Autònoma de BarcelonaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades.https://creativecommons.org/licenses/by-nc-nd/2.5/info:eu-repo/semantics/openAccessoai:ddd.uab.cat:440832026-06-06T12:50:31Z
dc.title.none.fl_str_mv A general construction of internal sheaves in algebraic set theory
title A general construction of internal sheaves in algebraic set theory
spellingShingle A general construction of internal sheaves in algebraic set theory
Awodey, Steve
Conjunts, Teoria de
Lògica matemàtica
Categories (Matemàtica)
title_short A general construction of internal sheaves in algebraic set theory
title_full A general construction of internal sheaves in algebraic set theory
title_fullStr A general construction of internal sheaves in algebraic set theory
title_full_unstemmed A general construction of internal sheaves in algebraic set theory
title_sort A general construction of internal sheaves in algebraic set theory
dc.creator.none.fl_str_mv Awodey, Steve
Gambino, Nicola
Lumsdaine, P. L.
Warren, M. A.
author Awodey, Steve
author_facet Awodey, Steve
Gambino, Nicola
Lumsdaine, P. L.
Warren, M. A.
author_role author
author2 Gambino, Nicola
Lumsdaine, P. L.
Warren, M. A.
author2_role author
author
author
dc.contributor.none.fl_str_mv Centre de Recerca Matemàtica
dc.subject.none.fl_str_mv Conjunts, Teoria de
Lògica matemàtica
Categories (Matemàtica)
topic Conjunts, Teoria de
Lògica matemàtica
Categories (Matemàtica)
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2
2007-01-01
2007
2007-01-01
dc.type.none.fl_str_mv Article
http://purl.org/coar/resource_type/c_6501
AO
http://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://ddd.uab.cat/record/44083
url https://ddd.uab.cat/record/44083
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by-nc-nd/2.5/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by-nc-nd/2.5/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Centre de Recerca Matemàtica
publisher.none.fl_str_mv Centre de Recerca Matemàtica
dc.source.none.fl_str_mv reponame:Dipòsit Digital de Documents de la UAB
instname:Universitat Autònoma de Barcelona
instname_str Universitat Autònoma de Barcelona
reponame_str Dipòsit Digital de Documents de la UAB
collection Dipòsit Digital de Documents de la UAB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869414877108371456
score 15,300719

Similares en LA Referencia