Combinatory Completeness in Structured Multicategories
Abstract
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.
Cite
@article{arxiv.2511.17152,
title = {Combinatory Completeness in Structured Multicategories},
author = {Ivan Kuzmin and Chad Nester and Ülo Reimaa and Sam Speight},
journal= {arXiv preprint arXiv:2511.17152},
year = {2026}
}
Comments
Accepted for publication in the proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2026)