Mostrar el registro sencillo del ítem

dc.contributor.author
Menni, Matías  
dc.date.available
2019-08-29T18:09:23Z  
dc.date.issued
2018-12  
dc.identifier.citation
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  
dc.identifier.issn
0022-4812  
dc.identifier.uri
http://hdl.handle.net/11336/82506  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Association for Symbolic Logic  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Axiomatic Cohesion  
dc.subject
Set Theory  
dc.subject
Topos Theory  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
The unity and identity of decidable objects and double-negation sheaves  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2019-08-08T16:11:44Z  
dc.journal.volume
83  
dc.journal.number
4  
dc.journal.pagination
1667-1679  
dc.journal.pais
Estados Unidos  
dc.journal.ciudad
Mansfield  
dc.description.fil
Fil: Menni, Matías. Universidad Nacional de La Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina  
dc.journal.title
Journal of Symbolic Logic  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/product/identifier/S0022481218000427/type/journal_article  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/jsl.2018.42  

Archivos asociados
Thumbnail
 
Tamaño: 178.5Kb
Formato: PDF
.