From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914256347201536 |
|---|---|
| author | Vidal, Juan Climent Llópez, Enric Cosme Mora, Raúl Ruiz |
| author_facet | Vidal, Juan Climent Llópez, Enric Cosme Mora, Raúl Ruiz |
| contents | This ongoing project aims to define and investigate, from the standpoint of category theory, order theory and universal algebra, the notions of higher-order many-sorted rewriting system and of higher-order many-sorted categorial algebra and their relationships, via the higher-order Curry-Howard isomorphisms. The ultimate goal, to be developed in future versions of this work, is to define and investigate the category of towers, whose objects will consist of families, indexed by $\mathbb{N}$, of higher-order many-sorted rewriting systems and of higher-order many-sorted categorial algebras, including higher-order Curry-Howard type results for the latter, together with an additional structure that intertwines such $\mathbb{N}$-families; and whose morphism from a tower to another will be families, indexed by $\mathbb{N}$, of morphisms between its higher-order many-sorted rewriting systems and of higher-order many-sorted categorial algebras compatible with their structures. All feedback is appreciated. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_12051 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms Vidal, Juan Climent Llópez, Enric Cosme Mora, Raúl Ruiz Category Theory Formal Languages and Automata Theory 08A55, 08A68, 08B20, 68Q42, 68Q65 F.4.2; F.4.3 This ongoing project aims to define and investigate, from the standpoint of category theory, order theory and universal algebra, the notions of higher-order many-sorted rewriting system and of higher-order many-sorted categorial algebra and their relationships, via the higher-order Curry-Howard isomorphisms. The ultimate goal, to be developed in future versions of this work, is to define and investigate the category of towers, whose objects will consist of families, indexed by $\mathbb{N}$, of higher-order many-sorted rewriting systems and of higher-order many-sorted categorial algebras, including higher-order Curry-Howard type results for the latter, together with an additional structure that intertwines such $\mathbb{N}$-families; and whose morphism from a tower to another will be families, indexed by $\mathbb{N}$, of morphisms between its higher-order many-sorted rewriting systems and of higher-order many-sorted categorial algebras compatible with their structures. All feedback is appreciated. |
| title | From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms |
| topic | Category Theory Formal Languages and Automata Theory 08A55, 08A68, 08B20, 68Q42, 68Q65 F.4.2; F.4.3 |
| url | https://arxiv.org/abs/2402.12051 |