| Title:
|
Unitary pseudonatural transformations (English) |
| Author:
|
Verdon, Dominic |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
9 |
| Issue:
|
1 |
| Year:
|
2025 |
| Pages:
|
1-35 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We suggest two approaches to a definition of unitarity for pseudonatural transformations between unitary pseudofunctors on pivotal dagger 2-categories. The first is to require that the 2-morphism components of the transformation be unitary. The second is to require that the dagger of the transformation be equal to its inverse. We show that the 'inverse' making these definitions equivalent is the right dual of the transformation in the 2-category Fun$(C,D)$ of pseudofunctors $C \rightarrow D$, pseudonatural transformations, and modifications. We show that the subcategory $\rm{Fun}_u(C,D) \subset \rm{Fun}(C,D)$ whose objects are unitary pseudofunctors and whose 1-morphisms are unitary pseudonatural transformations is a pivotal dagger 2-category. We apply these results to obtain a Morita-theoretical classification of unitary pseudonatural transformations between fibre functors on the category of representations of a compact quantum group. (English) |
| Keyword:
|
Dagger 2-categories |
| Keyword:
|
pseudonatural transformations |
| Keyword:
|
unitarity |
| Keyword:
|
Morita theory |
| MSC:
|
18M30 |
| MSC:
|
18M40 |
| MSC:
|
18N10 |
| idZBL:
|
Zbl 08141782 |
| idMR:
|
MR4918784 |
| DOI:
|
10.21136/HS.2025.01 |
| . |
| Date available:
|
2026-03-13T14:13:39Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153482 |
| . |
| Reference:
|
[1] Heunen, C., Vicary, J.: Categories for quantum theory: An introduction.Oxford graduate texts in mathematics series, Oxford University Press, 2019. MR 3971584 |
| Reference:
|
[2] Hummon, B.T.: Surface diagrams for Gray-categories: PhD thesis.UC San Diego, 2012 MR 3103738 |
| Reference:
|
[3] Lack, S.: Icons.Applied Categorical Structures, 18 (2010), 289-307 MR 2640216, 10.1007/s10485-008-9136-5 |
| Reference:
|
[4] Leinster, T.: Basic bicategories.Available at https://arxiv.org/abs/math/9810017 |
| Reference:
|
[5] MacLane, S.: Natural associativity and commutativity.Rice Institute Pamphlet-Rice University Studies 49 (1963), No. 4 Zbl 0244.18008 |
| Reference:
|
[6] Marsden, D.: Category theory using string diagrams.Available at https://arxiv.org/abs/1401.7220 |
| Reference:
|
[7] Melliès, P.: Functorial boxes in string diagrams.International workshop on computer science logic, pp 1-30 (2006) MR 2334412 |
| Reference:
|
[8] Musto, B., Reutter, D., Verdon, D.: The Morita theory of quantum graph isomorphisms.Communications in Mathematical Physics, 365 (2019), 797-845 MR 3907958, 10.1007/s00220-018-3225-6 |
| Reference:
|
[9] Selinger, P.: A survey of graphical languages for monoidal categories.New Structures for Physics, pages 289-355, MR 2767048 |
| Reference:
|
[10] Turaev, V., Virelizier, A.: Monoidal categories and topological field theory.Progress in mathematics. Springer, Cham (2017) MR 3674995 |
| Reference:
|
[11] Verdon, D.: Unitary transformations of fibre functors.Journal of Pure and Applied Algebra, 226 (2022), Article ID 106989 MR 4358623, 10.1016/j.jpaa.2021.106989 |
| Reference:
|
[12] Vicary, J.: Higher quantum theory.Available at https://arxiv.org/abs/1207.4563 |
| . |
