A new characterization of Kac-type discrete quantum groups
Quantum Algebra
2025-12-12 v2 Category Theory
Functional Analysis
Operator Algebras
Abstract
We obtain two related characterizations of discrete quantum groups and discrete quantum groups of Kac type as allegorical group objects in the symmetric monoidal dagger category of quantum sets and relations, of interest to quantum predicate logic and quantum information theory. Specifically, we characterize discrete quantum groups by the existence of an inversion relation and discrete quantum groups of Kac type by the existence of an inversion function. This confirms a conjectured description of discrete quantum groups of Kac type and brings them within the purview of category-internal universal algebra.
Cite
@article{arxiv.2511.20958,
title = {A new characterization of Kac-type discrete quantum groups},
author = {Alexandru Chirvasitu and Andre Kornell},
journal= {arXiv preprint arXiv:2511.20958},
year = {2025}
}
Comments
v2 adds acknowledgments; 14 pages + references