2 papers
math.CT2026
Presheaves on lax double functors; or, Instances of models of double theories
Kevin Carlson, Evan Patterson
We introduce a notion of (co)presheaf on a lax double functor , which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued…
math.CT2026
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
Keri D'Angelo, Sophie Libkind
Directed wiring diagrams can be used as a composition pattern for composing input/output systems such as Moore machines. In a Moore machine, the input parametrizes an internal stat…