Artículo

The unity and identity of decidable objects and double-negation sheaves

Menni, MatíasIcon
Fecha de publicación: 12/2018
Editorial: Association for Symbolic Logic
Revista: Journal of Symbolic Logic
ISSN: 0022-4812
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

Let be a topos, be the full subcategory of decidable objects, and be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity for the two subcategories of above, making them Adjointly Opposite. Typical examples of such include many 'gros' toposes in Algebraic Geometry, simplicial sets and other toposes of 'combinatorial' spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.
Palabras clave: Axiomatic Cohesion , Set Theory , Topos Theory
 
Archivos asociados
Thumbnail
 
Tamaño: 178.5Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/82506
URL: https://www.cambridge.org/core/product/identifier/S0022481218000427/type/journal
DOI: http://dx.doi.org/10.1017/jsl.2018.42
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Menni, Matías; The unity and identity of decidable objects and double-negation sheaves; Association for Symbolic Logic; Journal of Symbolic Logic; 83; 4; 12-2018; 1667-1679
Compartir
Altmétricas