Corelations are the prop for extraspecial commutative Frobenius monoids
From MaRDI portal
Publication:2969088
zbMath1372.18002arXiv1601.02307MaRDI QIDQ2969088
Publication date: 14 March 2017
Full work available at URL: https://arxiv.org/abs/1601.02307
algebraic theoryPROPextraspecial bicommutative bimonoidextraspecial bicommutative Frobenius monoidrelation and corelation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Labelled cospan categories and properads ⋮ Homotopy composition of cospans ⋮ Unnamed Item ⋮ The algebra of partial equivalence relations ⋮ A Compositional Framework for Passive Linear Networks ⋮ Decorated Corelations ⋮ Props in Network Theory ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Higher-dimensional word problems with applications to equational logic
- Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- Cartesian bicategories. I
- The geometry of tensor calculus. I
- On colimits in categories of relations
- Normal forms for algebras of connections.
- Syntax for split preorders
- Picturing Quantum Processes
- Generality of proofs and its Brauerian representation
- A Categorical Semantics of Signal Flow Graphs
- Classical and quantum structuralism
- What Separable Frobenius Monoidal Functors Preserve
- A Compositional Framework for Passive Linear Networks
- Introduction to bicategories
- A categorical approach to open and interconnected dynamical systems
- An introduction to partition logic
- Categories in Control
- Categorical algebra
This page was built for publication: Corelations are the prop for extraspecial commutative Frobenius monoids
