Decorated cospans

MaRDI QIDQ3456326zbMATH OpenFDO

Authors Brendan Fong

Publication date 14 December 2015

Full work available at URL https://arxiv.org/abs/1502.00872, http://www.emis.de/journals/TAC/volumes/30/33/30-33abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Frobenius algebraseparable algebracospanhypergraph categorywell-supported compact closed categorydecorated cospan

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Abstract: Let $mathcalC$ be a category with finite colimits, writing its coproduct $+$, and let $(mathcalD,otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F:(mathcalC,+)o(mathcalD,otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors. The objects of these categories, our so-called `decorated cospan categories', are simply the objects of $mathcalC$, while the morphisms are pairs comprising a cospan $XightarrowNleftarrowY$ in $mathcalC$ together with an element $1oFN$ in $mathcalD$. Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.

Recommendations

• Decorated Corelations
• A bicategory of decorated cospans
• Hypergraph categories
• A recipe for black box functors
• Structured versus decorated cospans

Cited in

(31)

• A compositional framework for reaction networks
• Obstructions to compositionality
• Structured and decorated cospans from the viewpoint of double category theory
• Monoidal Grothendieck construction
• scientific article; zbMATH DE number 7453976 (Why is no real title available?)
• Compositional Modeling with Stock and Flow Diagrams
• Homotopy composition of cospans
• Monoidal Width
• A recipe for black box functors
• Topological quantum field theories and homotopy cobordisms
• Structured versus decorated cospans
• Calculations for plus constructions
• Operadic modeling of dynamical systems: mathematics and computation
• Decorated Corelations
• Props in Network Theory
• Additive monotones for resource theories of parallel-combinable processes with discarding
• Compositional quantum field theory: An axiomatic presentation
• Confluence of graph rewriting with interfaces
• A compositional framework for Markov processes
• A diagrammatic view of differential equations in physics
• A categorical framework for modeling with stock and flow diagrams
• The equifibered approach to -properads
• Hypergraph categories
• A Compositional Framework for Passive Linear Networks
• Open systems in classical mechanics
• Spans of cospans in a topos
• Open diagrams via coend calculus
• Dressing cosets
• On the geometry and algebra of networks with state
• A bicategory of decorated cospans
• Structured cospans

This page was built for publication: Decorated cospans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3456326)