Universal Constructions for (Co)Relations: categories, monoidal categories, and props
From MaRDI portal
Publication:4585067
DOI10.23638/LMCS-14(3:14)2018zbMath1464.18004arXiv1710.03894MaRDI QIDQ4585067
Publication date: 6 September 2018
Full work available at URL: https://arxiv.org/abs/1710.03894
Related Items (1)
Uses Software
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