Mostrar el registro sencillo del ítem
dc.contributor.author
Menni, Matías
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Matemáticas
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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