Pith. sign in

REVIEW 3 major objections 3 minor 45 references

Orthonormal bases for higher Hilbert spaces

T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every unitary presheaf on a finite-dimensional 3-Hilbert space is isometrically representable, so the Yoneda embedding is an isometric equivalence.

desk verdict Solid toolkit for 3-Hilbert spaces; the isometric Yoneda and folding theorems are real, but a couple of load-bearing diagram arguments and an unproved dimension identity need to be filled in before the paper is final. read the letter →

arxiv 2608.11358 v1 pith:F4DR43E6 submitted 2026-08-11 math.QA math.CT

Giovanni Ferrer , Brett Hungar , David Penneys , Greyson Wesley This is my paper · ORCID
classification math.QAmath.CT MSC 18N1018N25
keywords 3-HilbertspacesunitaryYonedalemmaorthonormalbasesgeneralizedscalarmultiplication2-adjunctionself-enrichmentfoldingtrickH*-multifusioncategories
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that finite-dimensional 3-Hilbert spaces, the next level up from 2-Hilbert spaces, behave like honest Hilbert spaces in a precise categorical sense. It builds a toolbox—generalized scalar multiplication, orthonormal bases with one simple object per component, and unitary adjoints for operators—and uses it to prove a Unitary Yoneda Lemma / Riesz Representation Theorem: the embedding $x\mapsto X(-,x)$ is an isometric equivalence between a 3-Hilbert space and the 3-Hilbert space of unitary presheaves on it. It also proves that the space of orthonormal bases is contractible and that the functor category $\mathrm{Hom}(X\to Y)$ carries a 3-Hilbert space structure satisfying an isometric folding trick. This matters because these are exactly the structures needed to make higher-dimensional unitary topological field theories and lattice models rigorous.

What carries the argument

The load-bearing machinery is generalized scalar multiplication $M\boxtimes_{\Omega_b}b$: for an object $b\in X$ and a module category $M$ over its endomorphism category $\Omega_b=\mathrm{End}_X(b)$, the operation produces an object of $X$ that represents $M$. Choosing one simple object in each connected component of $X$ gives an orthonormal basis, and the resolution $c\cong\boxplus_{b\in\pi_0 X}X(b\to c)\boxtimes_{\Omega_b}b$ expresses every object as a sum of scalar multiples of basis objects, exactly as in linear algebra. This coordinate form supplies the explicit representing object for a presheaf and makes the self-enrichment weight $\Psi^{\mathrm{Hom}}$ in equation (14) independent of the basis; the contractibility of the space of bases then makes all these structures canonical. The central identity used to prove basis-independence is $d_b^{-1}D_{\Omega_b}=\operatorname{FPdim}(\Omega_b)d_b$, cited from earlier work.

What would settle it

Compute the self-enrichment weight $\Psi^{\mathrm{Hom}}$ from equation (14) for a small explicit 3-Hilbert space, such as $\mathrm{Mod}^\dagger(\mathcal{C})$ for the fusion category of a nontrivial finite group, using two different orthonormal bases. If the two computations disagree, the identity $d_b^{-1}D_{\Omega_b}=\operatorname{FPdim}(\Omega_b)d_b$ fails and the Yoneda embedding is not isometric; if they agree, the load-bearing identity is supported.

Watch

Extended reading notes

Core claim

The central claim is Theorem D: for a finite-dimensional 3-Hilbert space $X$, the Yoneda embedding $x\mapsto X(-,x)$ is an isometric equivalence $X\cong\mathrm{Hom}(X^{1\mathrm{op}},2\mathrm{Hilb})$. Concretely, every unitary presheaf $F:X^{1\mathrm{op}}\to 2\mathrm{Hilb}$ is isometrically representable by the object $\boxplus_{b\in\pi_0 X}F(b)\boxtimes_{\Omega_b}b$, and the representing object is unique up to unique isometric equivalence. Here a unitary presheaf is the categorified analogue of a linear functional: a dagger- and duality-preserving 2-functor into the 3-Hilbert space $2\mathrm{Hilb}$. The theorem is therefore a Riesz representation theorem for 3-Hilbert spaces: every such functional arises from taking categorical inner products with a fixed object. The same machinery yields the isometric folding trick $\mathrm{Hom}(X\to Y)\cong Y\,\times\!\lozenge\,X^{1\mathrm{op}}$, which is the categorical hom-tensor adjunction.

Load-bearing premise

The argument rests, without proof, on a numerical identity from earlier work relating the length scale assigned to each endomorphism category to its total size; if that identity fails, the weight used for self-enrichment depends on the basis and the isometric Yoneda equivalence collapses.

Editorial extensions

If this is right

  • Every unitary presheaf on a finite-dimensional 3-Hilbert space is isometrically representable, so the presheaf 3-Hilbert space and the original space coincide up to a canonical isometry.
  • Unitary adjoints exist and are unique for every 1-morphism between 3-Hilbert spaces, with the explicit coordinate formula $F^*(d)=\boxplus_{b\in\pi_0 X}Y(F(b)\to d)\boxtimes_{\Omega_b}b$.
  • Because the 3-groupoid of orthonormal bases is contractible, any construction using a choice of one simple object per component of a 3-Hilbert space is independent of that choice up to unique isometry.
  • The isometric folding trick $\mathrm{Hom}(X\to Y)\cong Y\,\times\!\lozenge\,X^{1\mathrm{op}}$ gives a hom-tensor adjunction for the unitary Deligne product, so the 3-category of 3-Hilbert spaces is closed monoidal.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the Unitary Yoneda Lemma opens the way to a categorified functional analysis in which operators between 3-Hilbert spaces have adjoints, spectral decompositions, and coordinate expansions analogous to ordinary Hilbert-space theory; this is not proved in the paper but is the natural next step.
  • Editorial inference: the contractibility of the space of orthonormal bases suggests that any invariant of a 3-Hilbert space defined through a chosen basis is actually canonical, which would make constructions in higher-dimensional lattice models independent of basis-like choices.
  • Editorial inference: combining the isometric folding trick with Morita equivalence for fusion categories should yield a classification of dualizable objects in $3\mathrm{Hilb}$ analogous to the one-category-down classification of planar algebras; this is a testable extension of the paper's Deligne product formalism.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. This paper develops higher linear algebra tools for finite-dimensional 3-Hilbert spaces: generalized scalar multiplication, orthonormal bases, unitary 2-adjoints, and a unitary Deligne product. Its main structural results are that the functor 2-category Hom(X→Y) is itself a 3-Hilbert space (self-enrichment, Theorem D/Proposition 5.4), that the Yoneda embedding is an isometric equivalence (Theorem D), that the space of ONBs is contractible (Theorem C), and that an isometric folding trick holds (Theorem E). The paper relies heavily on the companion article [CFH+26] and presents many constructions in a graphical calculus.

Significance. If the proofs are completed, these results give the expected categorified Riesz representation theorem and self-enrichment for finite-dimensional 3-Hilbert spaces, with concrete formulas for generalized scalar multiplication, unitary adjoints, and orthonormal bases. The paper is clearly written for specialists and provides a useful dictionary in Table 1. The explicit constructions—particularly the formula for unitary adjoints via ONBs and the Deligne product—are valuable even before the missing verifications are supplied.

major comments (3)
  1. [§5.1, Lemma 5.2 Step 1] The proof that Ψ^Hom in Eq. (14) is independent of the choice of ONB rests on two assertions for which no derivation is given: (i) for b∼c one has d_b^{-1}Ψ^Y_{F(b)}(μ_b)=d_c^{-1}Ψ^Y_{F(c)}(μ_c), and (ii) d_b^{-1}D_{Ω_b}=FPdim(Ω_b)d_b, cited to [CFH+26, p16] with the comment 'since Ω_b is fusion'. Fact (ii) is nontrivial because Definition 3.6 does not normalize spherical weights and d_b is not forced to equal 1; it connects the global dimension of Ω_b with its Frobenius–Perron dimension under the chosen spherical trace. These identities are needed before the sum in (14) is known to be well-defined, and they feed directly into the proof of (D2), the calculation in (D3), and Proposition 5.7. Please supply a proof or an exact lemma number in [CFH+26] for both identities; if the cited page only gives the formula in a normalization where the identity object has dimension 1, explain the rescaling explicitly.
  2. [§5.1, Proposition 5.4] The proof that Hom(X→Y) is H*-monad complete is the most delicate part of establishing the self-enrichment. After defining G(X) as the splitting of an idempotent for each 1-morphism X, the verification that G is a well-defined †,∨-preserving 2-functor—functoriality, the unit G^0_a, the tensorator G^2_{X,W}, and the construction of the transformation β and modification γ—is compressed into 'one checks' and a few displayed diagram equalities. This step is load-bearing because completeness is part of the definition of a 3-Hilbert space and is used in Theorem D. Please provide the missing verification in full, or reduce the construction explicitly to Lemma 3.23 and the universal property of H*-monad splitting.
  3. [§3.3, Lemma 3.23] The proof of contractibility of the space of splittings of an H*-monad contains two asserted steps: the existence of the 1-morphism bW_c = bX^∨⊗_A Y_c is described as 'an immediate consequence' of [CFH+26, Rem. 4.12, 4.40], and the unitarity of ω and u is summarized as 'one verifies'. Since this lemma is used for the pointwise-isometric property of the universal H*-monad completion and in the proof of Theorem 4.23 (contractibility of ONBs), the omitted checks should be written out or replaced by a precise reference to a complete proof.
minor comments (3)
  1. [§1, second paragraph] The text reads 'Recall form [Bae97]' but should be 'Recall from [Bae97]'.
  2. [§4.3, proof of Proposition 4.20] There is a typo 'unitary adoint'; it should be 'unitary adjoint'.
  3. [§5.1, Definition 5.1 and Eq. (14)] The notation d_b is introduced as d_b := d_{1_b} = Ψ(id_{1_b}), but later in (D2) the symbol d_X is used for simple objects X of Ω_b in a way that conflates the dimension of a 1-morphism and the dimension of an identity 2-morphism. Please clarify the two roles of d and how they are related under the spherical weight.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the self-enrichment and Yoneda results are constructive consequences of explicitly chosen definitions, not fitted predictions; cited prior work supplies background, not the target theorem.

full rationale

The claimed derivation chain is constructive rather than circular. Definition 5.1 explicitly defines the weight ΨHom on Hom(X→Y) by formula (14) with the normalizing coefficients d_b/D_{Ω_b}; the paper does not fit these coefficients to data and then relabel a fit as a prediction. The subsequent results (D1)–(D6), including the isometric Yoneda equivalence (D2), are proofs that this chosen structure satisfies the stated desiderata, and the paper labels §5.2 as exactly that: 'The self-enrichment satisfies the desiderata.' A theorem proving that a construction has the properties it was designed to have is a logical derivation, not a reduction of the conclusion to the assumption; the conclusion is not an input of Definition 5.1 in any equation-level identification. The only genuinely load-bearing external input is the previous article [CFH+26], whose authors overlap with the present paper, but it is cited for background definitions and standard identities, not for Theorem D itself. If Lemma 5.2 Step 1 is under-proved — the equality of normalized weights across a component is asserted in one sentence, and the identity d_b^{-1}D_{Ω_b}=FPdim(Ω_b)d_b is only cited to [CFH+26, p16, before (8)] — that is a proof gap or correctness risk, not circularity: there is no displayed equation in which the theorem's conclusion and a definition are the same formula. On the evidence in this manuscript, no step reduces by construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numbers are fitted to data. The normalization coefficients d_b/D_{Omega_b} in (14) are determined by the spherical weight of the 3-Hilbert space, not chosen freely. The normalization factor in Example 3.27 comes from the prior paper and is a fixed expression in dimensions, not an adjustable parameter. No new physical or abstract entities are postulated; the self-enrichment and unitary Deligne product are constructed by explicit formulas.

assumptions (5)
  • domain assumption Every 3-Hilbert space X is isometrically equivalent to a direct sum of Mod^dagger(C_i) for H*-fusion categories C_i.
    Used in Remark 4.12 to define ONBs and in Corollary 5.8 for the folding trick; from [CFH+26, Cor. 4.52].
  • domain assumption The universal property of completion (8) holds and is pointwise isometric.
    Defines generalized scalar multiplication in Definition 4.1 and ensures uniqueness of extensions; from [CFH+26, Prop. 4.43] plus Lemma 3.23.
  • standard math For a unitary fusion category C, spherical dimensions d_X are proportional to Frobenius-Perron dimensions, so d_b^{-1} D_{Omega_b} = FPdim(Omega_b) * d_b.
    Invoked in Lemma 5.2 Step 1 to prove ONB-independence of Psi^Hom; not proved in this paper.
  • standard math The core of the slice 3-category over X on isometric equivalences is contractible.
    Used in the proof of Theorem 4.23 to show the 3-groupoid of ONBs is contractible.
  • domain assumption Hom(X to Y) is a C*/W* 2-category with componentwise dagger operations.
    Background for the self-enrichment; from [CP22, Prop. 2.13].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orthonormal bases for higher Hilbert spaces." pith.science (2026). https://pith.science/paper/F4DR43E6

@misc{pith2026260811358,
  author       = {Pith},
  title        = {Pith review of: Orthonormal bases for higher Hilbert spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F4DR43E6}},
  note         = {Machine review of arXiv:2608.11358}
}
abstract

In our previous article [arxiv:2410.05120], we introduced the notion of a finite dimensional 3-Hilbert space, categorifying Baez's 2-Hilbert spaces. In this article, by further categorifying Baez's higher linear algebra, we provide useful tools for working with 3-Hilbert spaces, including, generalized scalar multiplication, orthonormal bases, and unitary adjoints for operators. We use these tools to endow the $\mathrm{C}^*$-3-category of 3-Hilbert spaces with a self-enrichment. We prove a Unitary Yoneda Lemma/Riesz Representation Theorem for 3-Hilbert spaces: the Yoneda embedding is an isometric equivalence. Finally, we define a unitary version of the Deligne product on 3-Hilbert spaces and prove that it satisfies an isometric version of the folding trick.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 10 canonical work pages

  1. [1]

    Structure theorems for a special class of B anach algebras

    Warren Ambrose. Structure theorems for a special class of B anach algebras. Trans. Amer. Math. Soc. , 57:364--386, 1945. MR13235 doi:10.2307/1990182

    doi:10.2307/1990182 1945

  2. [2]

    John C. Baez. Higher-dimensional algebra. II . 2 - H ilbert spaces. Adv. Math. , 127(2):125--189, 1997. MR1448713 doi:10.1006/aima.1997.1617

    arXiv 1997

  3. [3]

    Baez and James Dolan

    John C. Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory. J. Math. Phys. , 36(11):6073--6105, 1995. MR1355899 arXiv:q-alg/9503002 doi:10.1063/1.531236

    arXiv 1995

  4. [4]

    Manifestly unitary higher H ilbert spaces

    Quan Chen, Giovanni Ferrer, Brett Hungar, David Penneys, and Sean Sanford. Manifestly unitary higher H ilbert spaces. J. Lond. Math. Soc. (2) , 113(5):Paper No. e70532, 2026. MR5078555 doi:10.1112/jlms.70532 arXiv:2410.05120

    arXiv 2026

  5. [5]

    Q-system completion for C^* 2-categories

    Quan Chen, Roberto Hern\' a ndez Palomares, Corey Jones, and David Penneys. Q-system completion for C^* 2-categories. J. Funct. Anal. , 283(3):Paper No. 109524, 2022. MR4419534 doi:10.1016/j.jfa.2022.109524 arXiv:2105.12010

    arXiv 2022

  6. [6]

    Q-system completion is a 3-functor

    Quan Chen and David Penneys. Q-system completion is a 3-functor. Theory Appl. Categ. , 38:Paper No. 4, 101--134, 2022. MR4369356 doi:10.1002/num.22828 arXiv:2106.12437

    work page Pith review arXiv 2022

  7. [7]

    D \'e coppet

    Thibault D. D \'e coppet. The M orita theory of fusion 2-categories. High. Struct. , 7(1):234--292, 2023. MR4600461 doi:10.21136/HS.2023.07 arXiv:2208.08722

    arXiv 2023

  8. [8]

    D \' e coppet

    Thibault D. D \' e coppet. On the dualizability of fusion 2-categories. arXiv:2311.16827, to appear Quantum Topol., 2023

    arXiv 2023

Show all 45 references
  1. [9]

    D \' e coppet

    Thibault D. D \' e coppet. The 2- D eligne tensor product. Kyoto J. Math. , 64(1):1--29, 2024. MR4677193 doi:10.1215/21562261-2023-0005 arXiv:2103.16880

    2024 arXiv

  2. [10]

    Unitary braided-enriched monoidal categories

    Zachary Dell, Peter Huston, and David Penneys. Unitary braided-enriched monoidal categories. Quantum Topol. , 15(3):567--632, 2024. MR4814691 doi:10.4171/qt/226 arXiv:2208.14992

    2024 arXiv

  3. [11]

    Douglas and David J

    Christopher L. Douglas and David J. Reutter. Fusion 2-categories and a state-sum invariant for 4-manifolds, 2018. arXiv:1812.11933

    2018 arXiv

  4. [12]

    Evans and Corey Jones

    David E. Evans and Corey Jones. An operator algebraic approach to fusion category symmetry on the lattice. arXiv:2507.05185, 2025

    2025 arXiv

  5. [13]

    Foundations for operator algebraic tricategories

    Giovanni Ferrer. Foundations for operator algebraic tricategories. arXiv:2404.05193, 2024

    2024 arXiv

  6. [14]

    Freed and Michael J

    Daniel S. Freed and Michael J. Hopkins. Reflection positivity and invertible topological phases. Geom. Topol. , 25(3):1165--1330, 2021. MR4268163 doi:10.2140/gt.2021.25.1165 arXiv:1604.06527

    2021 arXiv

  7. [15]

    Dagger n -categories

    Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd, Cameron Krulewski, Lukas M\"uller, Nivedita, David Penneys, David Reutter, Claudia Scheimbauer, Luuk Stehouwer, and Chetan Vuppulury. Dagger n -categories. arXiv:2403.01651, 2024

    2024

  8. [16]

    Unitary quantum symmetries lite

    Giovanni Ferrer, Kyle Kawagoe, and David Penneys. Unitary quantum symmetries lite. In preparation. Some chapters available at https://people.math.osu.edu/penneys.2/UQSL/UQSL.html

  9. [17]

    Freedman, Michael Larsen, and Zhenghan Wang

    Michael H. Freedman, Michael Larsen, and Zhenghan Wang. A modular functor which is universal for quantum computation. Comm. Math. Phys. , 227(3):605--622, 2002. MR1910833 doi:10.1007/s002200200645 arXiv:quant-ph/0001108v2

    2002 arXiv

  10. [18]

    The many faces of higher hilbert spaces

    Giovanni Ferrer, Lukas M\"uller, David Penneys, and Luuk Stehouwer. The many faces of higher hilbert spaces. arXiv:2606.11334, 2026

    2026 arXiv

  11. [19]

    Freed, Gregory W

    Daniel S. Freed, Gregory W. Moore, and Constantin Teleman. Topological symmetry in quantum field theory. Quantum Topol. , 15(3):779--869, 2024. MR4814695 doi:10.4171/qt/223 arXiv:2209.07471

    2024 arXiv

  12. [20]

    Condensations in higher categories, 2019

    Davide Gaiotto and Theo Johnson-Freyd. Condensations in higher categories, 2019. arXiv:1905.09566

    2019 arXiv

  13. [21]

    The E xtended H aagerup fusion categories

    Pinhas Grossman, Scott Morrison, David Penneys, Emily Peters, and Noah Snyder. The E xtended H aagerup fusion categories. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 56(2):589--664, 2023. MR4598730 doi:10.24033/asens.2541 arXiv:1810.06076

    2023 arXiv

  14. [22]

    John W. Gray. Formal category theory: adjointness for 2 -categories . Lecture Notes in Mathematics, Vol. 391. Springer-Verlag, Berlin-New York, 1974. MR371990 doi:doi:10.1007/BFb0061280

    1974 doi

  15. [23]

    Coherence in three-dimensional category theory , volume 201 of Cambridge Tracts in Mathematics

    Nick Gurski. Coherence in three-dimensional category theory , volume 201 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2013. MR3076451 doi:10.1017/CBO9781139542333

    2013 doi

  16. [24]

    Complete W^* -categories

    Andr\'e Henriques, Nivedita, and David Penneys. Complete W^* -categories. arXiv:2411.01678, 2024

    2024 arXiv

  17. [25]

    Categorified trace for module tensor categories over braided tensor categories

    Andr\'e Henriques, David Penneys, and James Tener. Categorified trace for module tensor categories over braided tensor categories. Doc. Math. , 21:1089--1149, 2016. MR3578212 doi:10.4171/DM/553 arXiv:1509.02937

    2016 arXiv

  18. [26]

    Unitary A nchored P lanar A lgebras

    Andr\' e Henriques, David Penneys, and James Tener. Unitary A nchored P lanar A lgebras. Comm. Math. Phys. , 405(6):Paper No. 137, 2024. MR4750417 doi:10.1007/s00220-024-04985-w arXiv:2301.11114

    2024 arXiv

  19. [27]

    Categories for quantum theory , volume 28 of Oxford Graduate Texts in Mathematics

    Chris Heunen and Jamie Vicary. Categories for quantum theory , volume 28 of Oxford Graduate Texts in Mathematics . Oxford University Press, Oxford, 2019. An introduction, MR3971584 doi:10.1093/oso/9780198739623.001.0001

    2019

  20. [28]

    On the classification of topological orders

    Theo Johnson-Freyd. On the classification of topological orders. Comm. Math. Phys. , 393(2):989--1033, 2022. MR4444089 doi:10.1007/s00220-022-04380-3 arXiv:2003.06663

    2022 arXiv

  21. [29]

    Local topological order and boundary algebras

    Corey Jones, Pieter Naaijkens, David Penneys, and Daniel Wallick. Local topological order and boundary algebras. Forum Math. Sigma , 13:Paper No. e135, 2025. MR4945955 doi:10.1017/fms.2025.16 arXiv:2307.12552

    2025 arXiv

  22. [30]

    D HR bimodules of quasi-local algebras and symmetric quantum cellular automata

    Corey Jones. D HR bimodules of quasi-local algebras and symmetric quantum cellular automata. Quantum Topol. , 15(3):633--686, 2024. MR4814692 doi:10.4171/qt/216 arXiv:2304.00068

    2024 arXiv

  23. [31]

    Operator algebras in rigid C^* -tensor categories

    Corey Jones and David Penneys. Operator algebras in rigid C^* -tensor categories. Comm. Math. Phys. , 355(3):1121--1188, 2017. MR3687214 doi:10.1007/s00220-017-2964-0 arXiv:1611.04620

    2017 arXiv

  24. [32]

    Realizations of algebra objects and discrete subfactors

    Corey Jones and David Penneys. Realizations of algebra objects and discrete subfactors. Adv. Math. , 350:588--661, 2019. MR3948170 doi:10.1016/j.aim.2019.04.039 arXiv:1704.02035

    2019 arXiv

  25. [33]

    Q-systems and compact W *-algebra objects

    Corey Jones and David Penneys. Q-systems and compact W *-algebra objects. In Topological phases of matter and quantum computation , volume 747 of Contemp. Math. , pages 63--88. Amer. Math. Soc., Providence, RI, 2020. MR4079745 doi:10.1090/conm/747/15039 arXiv:1707.02155

    2020 arXiv

  26. [34]

    G. M. Kelly. Basic concepts of enriched category theory. Repr. Theory Appl. Categ. , (10):vi+137, 2005. MR2177301 , Reprint of the 1982 original [Cambridge Univ. Press, Cambridge; MR0651714 ]

    2005

  27. [35]

    A. Yu. Kitaev. Fault-tolerant quantum computation by anyons. Ann. Physics , 303(1):2--30, 2003. MR1951039 doi:10.1016/S0003-4916(02)00018-0 arXiv:quant-ph/9707021

    2003 arXiv

  28. [36]

    Anyons in an exactly solved model and beyond

    Alexei Kitaev. Anyons in an exactly solved model and beyond. Annals of Physics , 321(1):2--111, 2006. January Special Issue. doi:10.1016/j.aop.2005.10.005 arXiv:cond-mat/0506438

    2006 arXiv

  29. [37]

    Boundary-bulk relation in topological orders

    Liang Kong, Xiao-Gang Wen, and Hao Zheng. Boundary-bulk relation in topological orders. Nuclear Physics B , 922:62--76, 2017. doi:10.1016/j.nuclphysb.2017.06.023 arXiv:1702.00673

    2017 arXiv

  30. [38]

    Levin and Xiao-Gang Wen

    Michael A. Levin and Xiao-Gang Wen. String-net condensation: A physical mechanism for topological phases. Phys. Rev. B , 71:045110, Jan 2005. doi 10.1103/PhysRevB.71.045110 arXiv:cond-mat/0404617

    2005 arXiv

  31. [39]

    Anyons in infinite quantum systems : QFT in d=2+1 and the T oric C ode

    Pieter Naaijkens. Anyons in infinite quantum systems : QFT in d=2+1 and the T oric C ode . PhD thesis, Radboud Universiteit Nijmegen, May 2012. Available at https://repository.ubn.ru.nl/handle/2066/92737

    2012

  32. [40]

    A derivation of braided C^* -tensor categories from gapped ground states satisfying the approximate H aag duality

    Yoshiko Ogata. A derivation of braided C^* -tensor categories from gapped ground states satisfying the approximate H aag duality. J. Math. Phys. , 63(1):Paper No. 011902, 48, 2022. MR4362722 , doi:10.1063/5.0061785, arXiv:2106.15741

    2022 arXiv

  33. [41]

    Unitary dual functors for unitary multitensor categories

    David Penneys. Unitary dual functors for unitary multitensor categories. High. Struct. , 4(2):22--56, 2020. MR4133163 arXiv:1808.00323

    2020 arXiv

  34. [42]

    Traces on module categories over fusion categories

    Gregor Schaumann. Traces on module categories over fusion categories. J. Algebra , 379:382--425, 2013. MR3019263 doi:10.1016/j.jalgebra.2013.01.013 arXiv:1206.5716

    2013 arXiv

  35. [43]

    A universal state sum

    Kevin Walker. A universal state sum. arXiv:2104.02101, 2021

    2021 arXiv

  36. [44]

    Unitary disk-like categories, unitary tqfts, and higher hilbert spaces

    Greyson Wesley. Unitary disk-like categories, unitary tqfts, and higher hilbert spaces. In preparation

  37. [45]

    Notes on operator categories

    Shigeru Yamagami. Notes on operator categories. J. Math. Soc. Japan , 59(2):541--555, 2007. MR2325696 arXiv:math/0212136

    2007 arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.