Structured and Decorated Cospans from the Viewpoint of Double Category Theory

Abstract

Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that, under mild hypotheses, double categories of structured cospans are cocartesian (have finite double-categorical coproducts) and are equipments. The proofs are simple as they utilize appropriate double-categorical universal properties. Maps between double categories of structured cospans are studied from the same perspective. We then give a new construction of the double category of decorated cospans using the recently introduced double Grothendieck construction. Besides its conceptual value, this reconstruction leads to a natural generalization of decorated cospans, which we illustrate through an example motivated by statistical theories and other theories of processes.

arXiv commentIn Proceedings ACT 2023, arXiv:2312.08138

References in corpus (15)

• Physics, Topology, Logic and Computation: A Rosetta Stone
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Constructing symmetric monoidal bicategories
• Framed bicategories and monoidal fibrations
• Constructing symmetric monoidal bicategories functorially
• Monoidal Grothendieck construction
• Structured versus Decorated Cospans
• An Algebraic Framework for Structured Epidemic Modeling
• Compositional Modeling with Stock and Flow Diagrams
• Open Systems: A Double Categorical Perspective
• Decorated Cospans
• Structured Cospans
• A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
• Cartesian Double Categories with an Emphasis on Characterizing Spans
• Double Fibrations

Cited by in corpus (1)

• A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks