8 citations · 17 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021
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…
math.CT2021
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…