3 papers
math.CT2025
Colored Petri Nets are Monoidal Double Functors
Jade Master, Joe Moeller
We give a characterization of colored Petri nets as monoidal double functors. Framing colored Petri nets in terms of category theory allows for canonical definitions of various wel…
math.CT2025
Relative fixed points of functors
Ezra Schoen, Jade Master, Clemens Kupke
We show how the relatively initial or relatively terminal fixed points for a well-behaved functor form a pair of adjoint functors between -coalgebras and -algebras. We us…
math.CT2025
Structured Decompositions: Structural and Algorithmic Compositionality
Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master +1
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidt…