4 papers · 1 filter
A Simple Categorical Calculus of Interacting Processes
Chad Nester, Niels Voorneveld
We present a calculus that models a simple sort of process interaction. Our calculus consists of a collection of terms together with a rewrite relation, parameterised by an arbitra…
Dynamics and Coherence for the Free Cornering with Protocol Choice
Chad Nester, Niels Voorneveld
We present a term rewriting system that models the dynamic aspects of the free cornering with protocol choice of a monoidal category, which has been proposed as a categorical model…
A Structural Account of Combinatory Completeness
Ivan Kuzmin, Chad Nester, Ãlo Reimaa +1
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…
Elgot Categories and Abacus Programs
Chad Nester
We introduce Elgot categories, a sort of distributive monoidal category with additional structure in which the partial recursive functions are representable. Moreover, we construct…