Relative Frobenius algebras are groupoids
arXiv:1112.1284 · doi:10.1016/j.jpaa.2012.04.002
Abstract
We functorially characterize groupoids as special dagger Frobenius algebras in the category of sets and relations. This is then generalized to a non-unital setting, by establishing an adjunction between H*-algebras in the category of sets and relations, and locally cancellative regular semigroupoids. Finally, we study a universal passage from the former setting to the latter.
15 pages
References in corpus (2)
Cited by in corpus (26)
- Categories of relations as models of quantum theory
- Mixed quantum states in higher categories
- The many classical faces of quantum structures
- Relational symplectic groupoids and Poisson sigma models with boundary
- Reversible monadic computing
- On monoids in the category of sets and relations
- Fourier transforms from strongly complementary observables
- A Bestiary of Sets and Relations
- Categories of Quantum and Classical Channels
- Categories of Quantum and Classical Channels (extended abstract)
- Antipodes, preantipodes and Frobenius functors
- Compositional Quantum Logic
- Models of Quantum Algorithms in Sets and Relations
- Hopf modules, Frobenius functors and (one-sided) Hopf algebras
- Frobenius objects in the category of relations
- Entanglement-symmetries of covariant channels
- Frobenius objects in the category of spans
- The Abstract Structure of Quantum Algorithms
- Monads on dagger categories
- Bicategorical Semantics for Nondeterministic Computation
- Lambek pregroups are Frobenius spiders in preorders
- Monoidal characterisation of groupoids and connectors
- Groupoids, Frobenius algebras and Poisson sigma models
- Geometric Quantization and Epistemically Restricted Theories: The Continuous Case
- A Functorial Construction of Quantum Subtheories
- Convolution algebras for Relational Groupoids and Reduction