8 citations · 17 across the 7 of their papers we have counts for
4 papers · 1 filter
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…