Decorated Corelations

zbMath1400.18011arXiv1703.09888MaRDI QIDQ4577990

Brendan Fong

Publication date: 7 August 2018

Full work available at URL: https://arxiv.org/abs/1703.09888

zbMATH Keywords

Frobenius monoidcorelationhypergraph categorywell-supported compact closed categorydecorated cospan

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Related Items

Unnamed Item ⋮ A Compositional Framework for Passive Linear Networks ⋮ Props in Network Theory ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ Structured Cospans ⋮ A recipe for black box functors

Cites Work

• Unnamed Item
• Interacting Hopf algebras
• Matrices, relations, and group representations
• The geometry of tensor calculus. I
• On colimits in categories of relations
• Categories of relations and functional relations
• Corelations are the prop for extraspecial commutative Frobenius monoids
• A Categorical Semantics of Signal Flow Graphs
• Decorated Cospans
• Calculating Colimits Compositionally
• Toposes Are Adhesive
• A Compositional Framework for Passive Linear Networks
• A categorical approach to open and interconnected dynamical systems
• An embedding theorem for adhesive categories
• Categories in Control
• Foundations of Software Science and Computation Structures