Universal Constructions for (Co)Relations: categories, monoidal categories, and props

DOI10.23638/LMCS-14(3:14)2018zbMath1464.18004arXiv1710.03894MaRDI QIDQ4585067

Brendan Fong, Fabio Zanasi

Publication date: 6 September 2018

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

zbMATH Keywords

string diagramcorelationprop

Mathematics Subject Classification ID

Logic in computer science (03B70) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (1)

Unnamed Item

Uses Software

• CoALP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interacting Hopf algebras
• Semantics of higher-order quantum computation via geometry of interaction
• The calculus of signal flow diagrams. I: Linear relations on streams.
• The algebra of partial equivalence relations
• Distributive laws and factorization
• Coreflections in algebraic quantum logic
• Relations in categories
• Full Abstraction for Signal Flow Graphs
• Comonadic Notions of Computation
• Corelations are the prop for extraspecial commutative Frobenius monoids
• Higher Semantics of Quantum Protocols
• A Survey of Graphical Languages for Monoidal Categories
• Relating coalgebraic notions of bisimulation
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
• A Categorical Semantics of Signal Flow Graphs
• Interacting Quantum Observables
• Topology and logic as a source of algebra
• Data Types as Lattices
• Decorated Corelations
• A Universal Construction for (Co)Relations
• Custom Hypergraph Categories via Generalized Relations
• A categorical approach to open and interconnected dynamical systems
• Bialgebraic Semantics for Logic Programming
• Categories in Control
• A Noether theorem for Markov processes
• Interacting Bialgebras Are Frobenius
• Coalgebraic logic programming: from Semantics to Implementation

This page was built for publication: Universal Constructions for (Co)Relations: categories, monoidal categories, and props