2025/11/21 by Ivan Kuzmin, Kuzmin, Ivan, Chad Nester +5
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topics in Algebra #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.CT
paper · pdf · doi:10.48550/arxiv.2511.17152
31 pages, journal version of https://doi.org/10.1007/978-3-032-22469-9_16. In peer review
arxiv created 2026/08/03 · arxiv updated 2026/08/04
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. Moreover, we characterise combinatory completeness of a given applicative system in terms of multicategory structure on its computable maps.