Combinatory Completeness in Structured Multicategories
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911433301688320 |
|---|---|
| author | Kuzmin, Ivan Nester, Chad Reimaa, Ülo Speight, Sam |
| author_facet | Kuzmin, Ivan Nester, Chad Reimaa, Ülo Speight, Sam |
| contents | We give a general notion of combinatory completeness with respect to a faithful cartesian club and use it systematically to obtain characterisations of a number of different kinds of applicative system. Each faithful cartesian club determines a notion of structured multicategory, with the different notions of structured multicategory obtained in this way giving different notions of polynomial over an applicative system, which in turn give different notions of combinatory completeness. We obtain the classical characterisation of combinatory algebras as combinatory complete applicative systems as a specific instance. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_17152 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Combinatory Completeness in Structured Multicategories Kuzmin, Ivan Nester, Chad Reimaa, Ülo Speight, Sam Category Theory Logic in Computer Science We give a general notion of combinatory completeness with respect to a faithful cartesian club and use it systematically to obtain characterisations of a number of different kinds of applicative system. Each faithful cartesian club determines a notion of structured multicategory, with the different notions of structured multicategory obtained in this way giving different notions of polynomial over an applicative system, which in turn give different notions of combinatory completeness. We obtain the classical characterisation of combinatory algebras as combinatory complete applicative systems as a specific instance. |
| title | Combinatory Completeness in Structured Multicategories |
| topic | Category Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2511.17152 |