## You are here

Homequantum category

## Primary tabs

# quantum category

###### Definition 0.1.

A *quantum category* $\mathcal{Q}$ is defined as the (non-Abelian) category of quantum groupoids, $[Q_{{{\mathsf{G}}}}]_{i}$,
and quantum groupoid homomorphisms, $[q_{{{\mathsf{G}}}}]_{{ij}}$, where $i$ and $j$ are indices in an
index class, $\mathbf{I}$, all subject to the usual ETAC axioms and their interpretations.

###### Remark 0.1.

The category of quantum groupoids, $[Q_{{{\mathsf{G}}}}]_{i}$, is trivially a subcategory of the groupoid category, that can also be regarded as a functor category, or $2$-category, if ${\mathsf{G}}$ is small, that is, if $G^{0}$ is a set rather than a class.

###### Remark 0.2.

One notes that an alternative definition of quantum category has also been reported in physical mathematics as a rigid monoidal category, or its equivalent. A more general definition of quantum category is however necessary that has both quantum groups and locally compact quantum groupoids as particular cases. This would require a notion of quantum compactness in a category as well as the definition of associated Haar systems to a category.

# References

- 1
Butterfield, J. and C. J. Isham: 2001, Space-time and the
philosophical challenges of quantum gravity., in C. Callender and
N. Hugget (eds. )
*Physics Meets Philosophy at the Planck scale.*, Cambridge University Press,pp.33–89. - 2
Baianu, I.C.: 1971a, Categories, Functors and Quantum Algebraic Computations, in P. Suppes (ed.),
*Proceed. Fourth Intl. Congress Logic-Mathematics-Philosophy of Science*, September 1–4, 1971, the University of Bucharest. - 3
Butterfield, J. and C. J. Isham: 1998, 1999, 2000–2002, A topos
perspective on the Kochen–Specker theorem I - IV,
*Int. J. Theor. Phys*, 37 No 11., 2669–2733 38 No 3., 827–859, 39 No 6., 1413–1436, 41 No 4., 613–639.

## Mathematics Subject Classification

18-00*no label found*81P05

*no label found*81P10

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections