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...
| Autores: | , , , |
|---|---|
| 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 |
| spelling |
A general construction of internal sheaves in algebraic set theory Awodey, Steve Gambino, Nicola Lumsdaine, P. L. Warren, M. A. Conjunts, Teoria de Lògica matemàtica Categories (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àtica https://ddd.uab.cat/record/44083 |
| 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 |
| 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 |
| topic |
Conjunts, Teoria de Lògica matemàtica Categories (Matemàtica) |
| topic_facet |
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 |
| format |
article |
| url |
https://ddd.uab.cat/record/44083 |
| language |
eng |
| eu_rights_str_mv |
openAccess |
| publisher |
Centre de Recerca Matemàtica |
| institution |
Universitat Autònoma de Barcelona |
| collection |
Dipòsit Digital de Documents de la UAB |
| reponame_str |
Dipòsit Digital de Documents de la UAB |
| instname_str |
Universitat Autònoma de Barcelona |
| _version_ |
1878438562402140161 |
| publishDateSort |
2007 |
| author_browse |
Awodey, Steve Gambino, Nicola Lumsdaine, P. L. Warren, M. A. |
| publisherStr |
Centre de Recerca Matemàtica |
| score |
6,9303427 |