About И-quantifiers

Gabbay and Pitts observed that the Fraenkel–Mostowski model of set-theory supports useful notions of “name-abstraction” and “fresh-name”. In order to understand their work in a more general setting we introduce the notions of И-units and И-relations in a regular category D. A И-relation is given by...

Descripción completa

Detalles Bibliográficos
Autor: Menni, Matías
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2003
País:Argentina
Institución:Universidad Nacional de La Plata
Repositorio:SEDICI (UNLP)
Idioma:inglés
OAI Identifier:oai:sedici.unlp.edu.ar:10915/138799
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/138799
Access Level:acceso abierto
Palabra clave:Informática
quantifiers
adjoint functors
variable binding
id AR_32e57a80d92c8f5ce80e446a2cb0eac8
oai_identifier_str oai:sedici.unlp.edu.ar:10915/138799
network_acronym_str AR
network_name_str Argentina
repository_id_str
spelling About И-quantifiersMenni, MatíasInformáticaquantifiersadjoint functorsvariable bindingGabbay and Pitts observed that the Fraenkel–Mostowski model of set-theory supports useful notions of “name-abstraction” and “fresh-name”. In order to understand their work in a more general setting we introduce the notions of И-units and И-relations in a regular category D. A И-relation is given by a functor A # (-):D→D and we show that in the case that D is a topos then A # (-) has a right adjoint [A](-) that can be thought of as an object of abstractions. We also explore the existence of a right adjoint to [A](-) and relate it to the “name swapping” operations considered as fundamental by Gabbay and Pitts. We present many examples of categories where this notions occur and we relate the results here with Pitts' Nominal Logic.Laboratorio de Investigación y Formación en Informática Avanzada2003info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf421-445http://sedici.unlp.edu.ar/handle/10915/138799enginfo:eu-repo/semantics/altIdentifier/issn/0927-2852info:eu-repo/semantics/altIdentifier/issn/1572-9095info:eu-repo/semantics/altIdentifier/doi/10.1023/a:1025750816098info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2024-05-08T13:10:35Zoai:sedici.unlp.edu.ar:10915/138799Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292024-05-08 13:10:35.932SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv About И-quantifiers
title About И-quantifiers
spellingShingle About И-quantifiers
Menni, Matías
Informática
quantifiers
adjoint functors
variable binding
title_short About И-quantifiers
title_full About И-quantifiers
title_fullStr About И-quantifiers
title_full_unstemmed About И-quantifiers
title_sort About И-quantifiers
dc.creator.none.fl_str_mv Menni, Matías
author Menni, Matías
author_facet Menni, Matías
author_role author
dc.subject.none.fl_str_mv Informática
quantifiers
adjoint functors
variable binding
topic Informática
quantifiers
adjoint functors
variable binding
description Gabbay and Pitts observed that the Fraenkel–Mostowski model of set-theory supports useful notions of “name-abstraction” and “fresh-name”. In order to understand their work in a more general setting we introduce the notions of И-units and И-relations in a regular category D. A И-relation is given by a functor A # (-):D→D and we show that in the case that D is a topos then A # (-) has a right adjoint [A](-) that can be thought of as an object of abstractions. We also explore the existence of a right adjoint to [A](-) and relate it to the “name swapping” operations considered as fundamental by Gabbay and Pitts. We present many examples of categories where this notions occur and we relate the results here with Pitts' Nominal Logic.
publishDate 2003
dc.date.none.fl_str_mv 2003
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/138799
url http://sedici.unlp.edu.ar/handle/10915/138799
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/issn/0927-2852
info:eu-repo/semantics/altIdentifier/issn/1572-9095
info:eu-repo/semantics/altIdentifier/doi/10.1023/a:1025750816098
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
421-445
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1799194433164410880
score 15.811543

Similares en LA Referencia