A quantum double construction in Rel
From MaRDI portal
Publication:2909732
DOI10.1017/S0960129511000703zbMath1258.16034MaRDI QIDQ2909732
Publication date: 6 September 2012
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (1)
Cites Work
- Unnamed Item
- Linear logic
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Weakly distributive categories
- Closed categories, star-autonomy, and monoidal comonads
- Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction
- Coherence for compact closed categories
- A classifying invariant of knots, the knot quandle
- The geometry of tensor calculus. I
- Planar and braided proof-nets for multiplicative linear logic with mix
- Finite Hopf algebras in braided tensor categories
- Braided tensor categories
- Tortile tensor categories
- Glueing and orthogonality for models of linear logic
- Nuclear and trace ideals in tensored \(^*\)-categories
- Braided compact closed categories with applications to low dimensional topology
- Simulation of topological field theories by quantum computers
- Fault-tolerant quantum computation by anyons
- Double construction for monoidal categories
- Hopf monads
- Free Hopf algebras generated by coalgebras
- Bialgebras in Rel
- Attribute Grammars and Categorical Semantics
- On traced monoidal closed categories
- RACKS AND LINKS IN CODIMENSION TWO
- Quantum doubles in monoidal categories
- A relational model of non-deterministic dataflow
- Geometry of Interaction and linear combinatory algebras
- Traced monoidal categories
- Hopf algebras and linear logic
- Combinatorial homotopy. II
- Quantum invariants of knots and 3-manifolds
- Two applications of analytic functors
This page was built for publication: A quantum double construction in Rel
