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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2003
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/138799 |
| Aporte de: |
| id |
I19-R120-10915-138799 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Informática quantifiers adjoint functors variable binding |
| spellingShingle |
Informática quantifiers adjoint functors variable binding Menni, Matías About И-quantifiers |
| topic_facet |
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. |
| format |
Articulo Articulo |
| author |
Menni, Matías |
| author_facet |
Menni, Matías |
| author_sort |
Menni, Matías |
| title |
About И-quantifiers |
| title_short |
About И-quantifiers |
| title_full |
About И-quantifiers |
| title_fullStr |
About И-quantifiers |
| title_full_unstemmed |
About И-quantifiers |
| title_sort |
about и-quantifiers |
| publishDate |
2003 |
| url |
http://sedici.unlp.edu.ar/handle/10915/138799 |
| work_keys_str_mv |
AT mennimatias aboutiquantifiers |
| bdutipo_str |
Repositorios |
| _version_ |
1764820457920397312 |