2 papers
math.CT2025
Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
Jason Brown, Kevin Carlson, Sophie Libkind +1
(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimod…
math.CT2025
Towards a double operadic theory of systems
Sophie Libkind, David Jaz Myers
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right…