A Topological Perspective on Interacting Algebraic Theories
From MaRDI portal
Publication:5014783
zbMath1484.18021arXiv1701.00658MaRDI QIDQ5014783
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1701.00658
Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, (W)-algebras and other current algebras and their representations (81R10) Semantics in the theory of computing (68Q55) 2-categories, bicategories, double categories (18N10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interacting Hopf algebras
- Orientals and cubes, inductively
- Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
- Higher-dimensional word problems with applications to equational logic
- Group-like structures in general categories. I. Multiplications and comultiplications
- Polygraphic resolutions and homology of monoids
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes
- The algebra of oriented simplexes
- On the algebra of cubes
- Limits indexed by category-valued 2-functors
- Representable multicategories
- Omega-categories and chain complexes
- Multiple categories: The equivalence of a globular and a cubical approach
- Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
- Algebra and geometry of rewriting
- The three dimensions of proofs
- Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
- Picturing Quantum Processes
- A Survey of Graphical Languages for Monoidal Categories
- Operads and PROPs
- From Operads to Dendroidal Sets
- The ZX-calculus is complete for stabilizer quantum mechanics
- Interacting Quantum Observables
- A Diagrammatic Axiomatisation for Qubit Entanglement
- Interacting Frobenius Algebras are Hopf
- Interacting Bialgebras Are Frobenius
- Towards 3-Dimensional Rewriting Theory
- From coherent structures to universal properties
This page was built for publication: A Topological Perspective on Interacting Algebraic Theories
