research
∙
05/26/2023
Protocol Choice and Iteration for the Free Cornering
We extend the free cornering of a symmetric monoidal category, a double ...
share
research
∙
05/02/2022
Cornering Optics
We show that the category of optics in a monoidal category arises natura...
research
∙
05/11/2021
A Variety Theorem for Relational Universal Algebra
We develop an analogue of universal algebra in which generating symbols ...
research
∙
05/10/2021
Situated Transition Sytems
We construct a monoidal category of open transition systems that generat...
research
∙
11/12/2020
Functorial Semantics for Partial Theories
We provide a Lawvere-style definition for partial theories, extending th...
research
∙
10/16/2020
A Foundation for Ledger Structures
This paper introduces an approach to constructing ledger structures for ...
research
∙
10/16/2020