Reference. Sheet diagrams for bimonoidal categories
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a graphical calculus for bimonoidal categories that was informally introduced by Staton. Sheet diagrams are string diagrams drawn on a branching surface, which is itself an extruded string diagram. Our main result is a soundness and completeness theorem of the usual form for graphical calculi: we show that sheet diagrams form the free bimonoidal category on a signature.
Cite
Cited by (1)
Categorical Lyapunov Theory I: Stability of Flows ames-2025-categoricalx
Lyapunov’s theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core to our approach is the set of axioms underlying a setting for stability, which give the necessary ingredients for “doing Lyapunov theory” in a category of interest. With these minimal assumptions, we define the stability of equilibria, formulate Lyapunov morphisms, and demonstrate that the existence of Lyapunov morphisms is necessary and sufficient for establishing the stability of flows. To illustrate these constructions, we show how classical notions of stability, e.g., for continuous and discrete time dynamical systems, are captured by this categorical framework for Lyapunov theory. Finally, to demonstrate the extensibility of our framework, we illustrate how enriched categories, e.g., Lawvere metric spaces, yield settings for stability enabling one to “do Lyapunov theory” in enriched categories.
Cites 16 works (1 here)
With notes (1)
Morphisms of Open Games hedges-2018-morphisms
External (15)
- Normalization for planar string diagrams and a quadratic equivalence algorithm (2022)
- The groupoid of finite sets is biinitial in the 2-category of rig categories (2021)
- A Complete Language for Faceted Dataflow Programs (2020)
- An Invitation to Applied Category Theory: Seven Sketches in Compositionality (2019)
- Bimonoidal Structure of Probability Monads (2018)
- Picturing Quantum Processes (2017)
- Algebraic Effects, Linearity, and Quantum Programming Languages (2014)
- Information effects (2012)
- A survey of graphical languages for monoidal categories (2009)
- Strictification of categories weakly enriched in symmetric monoidal categories (2009)
- Generalised Proof-Nets for Compact Categories with Biproducts (2009)
- From fibered symmetric bimonoidal categories to symmetric spectra (2009)
- The geometry of tensor calculus, I (1991)
- Coherence for distributivity (1972)
- Eine Algebraisierung des Syntheseproblems von Schaltkreisen I (1965)