8 citations · 17 across the 7 of their papers we have counts for
7 papers
Protocol Choice and Iteration for the Free Cornering
Chad Nester, Niels Voorneveld
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated commu…
Cornering Optics
Guillaume Boisseau, Chad Nester, Mario Román
We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal categor…
A Variety Theorem for Relational Universal Algebra
Chad Nester
We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which w…
Situated Transition Systems
Chad Nester
We construct a monoidal category of open transition systems that generate material history as transitions unfold, which we call situated transition systems. The material history ge…
Functorial Semantics for Partial Theories
Ivan Di Liberti, Fosco Loregian, Chad Nester +1
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case,…
A Foundation for Ledger Structures
Chad Nester
This paper introduces an approach to constructing ledger structures for cryptocurrency systems with basic category theory. Compositional theories of resource convertibility allow u…