pith. sign in

arxiv: 2605.06661 · v2 · pith:RXNYAVUYnew · submitted 2026-05-07 · ❄️ cond-mat.str-el · hep-th· math-ph· math.CT· math.MP· math.QA

Pro-Tensor Network

Gen Yue , Ansi Bai , Linqian Wu , Tian Lan This is my paper

Pith reviewed 2026-05-20 23:12 UTC · model grok-4.3

classification ❄️ cond-mat.str-el hep-thmath-phmath.CTmath.MPmath.QA
keywords pro-tensor networkcategorificationtensor networkmany-many-body theoryLevin-Wen modelpromonadgeneralized symmetrytopological holography
0
0 comments X

The pith

Pro-tensor networks categorify tensor networks to study collections of many-body theories without semisimplicity, finiteness, or rigidity.

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

The paper introduces the pro-tensor network as a categorification of the ordinary tensor network, creating a framework for many-many-body theory that treats collections of many-body systems. It supplies a full set of graphical calculation rules that stay valid once the usual requirements of semisimplicity, finiteness, and rigidity are removed from the underlying category. The authors recover the Levin-Wen model as a uniform example, characterize particles as modules over promonads, and interpret string-net constructions as spaces of symmetric tensor networks. These steps open the same graphical methods to questions of generalized symmetry and topological holography.

Core claim

The pro-tensor network functions as a fully rigorous yet graphically transparent framework for many-many-body theories. It recovers the Levin-Wen model in uniform form, generalizes the Kitaev-Kong characterization by treating particles as modules over promonads, and identifies the string-net pro-tensor network with the space of symmetric tensor networks, thereby extending to generalized symmetry and topological holography. The construction deliberately removes the assumptions of semisimplicity, finiteness, and rigidity.

What carries the argument

The pro-tensor network, a categorification of the tensor network that employs promonads to encode collections of many-body theories and supplies consistent graphical rules without semisimplicity, finiteness, or rigidity.

If this is right

  • The Levin-Wen string-net model appears as a uniform pro-tensor network.
  • Particles in the theories are identified with modules over promonads.
  • String-net constructions correspond to spaces of symmetric tensor networks.
  • The same graphical methods apply directly to generalized symmetries and topological holography.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The removal of finiteness opens the possibility of treating systems with continuous spectra or infinite-dimensional Hilbert spaces within the same graphical language.
  • Connections to topological holography suggest the framework could be tested on holographic dualities where the boundary theory lacks rigidity.
  • Explicit graphical rewrites in a known non-semisimple category, such as representations of a quantum group at a root of unity, could be compared against direct algebraic results to check computational utility.

Load-bearing premise

The graphical calculus rules for pro-tensor networks stay consistent and computationally useful once semisimplicity, finiteness, and rigidity are removed.

What would settle it

A calculation of fusion rules or topological invariants in a concrete non-semisimple, infinite, or non-rigid category using pro-tensor networks that produces results contradicting known physical predictions or existing categorical computations would falsify the framework's consistency.

read the original abstract

We introduce the pro-tensor network, a categorification of the tensor network, as a fully rigorous yet graphically transparent framework for studying the collection of many many-body theories, which we dub many-many-body theory. We provide a comprehensive toolbox for the graphical calculations using pro-tensor networks. As applications, we recover the Levin-Wen model as a "uniform" pro-tensor network and generalize a result of Kitaev and Kong by characterizing particles as modules over promonads. One can also interpret the string-net pro-tensor network as the space of symmetric tensor networks, thus our framework also applies to the study of generalized symmetry and topological holography. Notably, our generalization dispenses with the assumptions of semisimplicity, finiteness, and rigidity, potentially facilitating the exploration of many-body physics beyond these constraints.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces the pro-tensor network as a categorification of tensor networks for studying collections of many-body theories (termed many-many-body theory). It supplies a graphical toolbox for calculations in this setting, recovers the Levin-Wen model as a uniform pro-tensor network, generalizes a Kitaev-Kong result by characterizing particles as modules over promonads, and interprets string-net pro-tensor networks as spaces of symmetric tensor networks. The framework is presented as dispensing with the standard assumptions of semisimplicity, finiteness, and rigidity.

Significance. If the claimed graphical calculus is shown to be rigorously consistent and computationally useful without semisimplicity, finiteness, or rigidity, the work could meaningfully extend tensor-network techniques to more general categorical settings relevant for topological phases and generalized symmetries. The explicit recovery of the Levin-Wen model and the module characterization provide concrete anchors, though the absence of machine-checked proofs or fully worked non-standard examples limits immediate impact.

major comments (2)
  1. [Definition of pro-tensor networks and graphical toolbox] The central claim that the graphical calculus remains consistent and useful after removing semisimplicity, finiteness, and rigidity is load-bearing. The pro-category construction is invoked to handle non-finite cases, yet the manuscript does not supply an explicit verification that duality (snake equations) or trace convergence remain well-defined without rigidity or finiteness; this must be addressed in the section defining the pro-tensor network and its graphical rules.
  2. [Characterization of particles as modules over promonads] In the application to particles as modules over promonads (generalizing Kitaev-Kong), the module action is characterized graphically, but no concrete calculation is given for a non-semisimple or infinite case showing that the action is unambiguously defined and reduces correctly when the dropped assumptions are restored. This weakens the claim of computational usefulness.
minor comments (2)
  1. The term 'many-many-body theory' is introduced without reference to related concepts in the tensor-network or categorical-physics literature, which would help situate the contribution.
  2. Several diagrams illustrating the pro-tensor network moves would benefit from explicit annotation of the promonad actions and wire labels to improve readability for readers less familiar with pro-categories.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and have revised the manuscript to strengthen the presentation of the pro-tensor network framework.

read point-by-point responses

  1. Referee: [Definition of pro-tensor networks and graphical toolbox] The central claim that the graphical calculus remains consistent and useful after removing semisimplicity, finiteness, and rigidity is load-bearing. The pro-category construction is invoked to handle non-finite cases, yet the manuscript does not supply an explicit verification that duality (snake equations) or trace convergence remain well-defined without rigidity or finiteness; this must be addressed in the section defining the pro-tensor network and its graphical rules.

    Authors: We agree that an explicit verification strengthens the central claim. The pro-category is introduced precisely to encode the limiting behavior needed for non-finite and non-rigid settings, and the snake equations and traces are inherited from the universal properties of the pro-construction. In the revised manuscript we have added a dedicated subsection (now Section 3.2) that verifies the snake identities hold by the universal property of the pro-category and that traces are realized as pro-limits, which are well-defined without finiteness or rigidity. These additions are placed directly in the definition of the pro-tensor network and its graphical rules. revision: yes

  2. Referee: [Characterization of particles as modules over promonads] In the application to particles as modules over promonads (generalizing Kitaev-Kong), the module action is characterized graphically, but no concrete calculation is given for a non-semisimple or infinite case showing that the action is unambiguously defined and reduces correctly when the dropped assumptions are restored. This weakens the claim of computational usefulness.

    Authors: The graphical definition of the module action over a promonad is formulated so that it applies verbatim once the promonad is given, independent of semisimplicity or finiteness. To make this explicit and to demonstrate reduction, the revised manuscript now includes a worked example (new Example 5.3) in which the module action is computed for an infinite non-semisimple category arising from representations of a non-semisimple Hopf algebra. The calculation is performed entirely with the pro-tensor network rules and is shown to recover the standard Kitaev-Kong module structure upon restriction to the semisimple finite subcategory. This example directly addresses the request for a concrete non-standard verification. revision: yes

Circularity Check

0 steps flagged

No circularity: new definitions and graphical rules are introduced independently

full rationale

The paper defines pro-tensor networks as a categorification that explicitly removes semisimplicity, finiteness, and rigidity, then supplies a toolbox of graphical rules and applies them to recover the Levin-Wen model and generalize Kitaev-Kong results. No quoted equation or step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or prior ansatz by construction. The central consistency claim for the generalized graphical calculus is presented as following from the pro-construction itself rather than from any hidden reintroduction of the dropped assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The framework rests on standard category theory (monads, modules, categorification) plus the newly introduced pro-tensor network object. No free parameters are mentioned. The main invented entity is the pro-tensor network itself.

axioms (1)
  • standard math Standard axioms of category theory and monad theory hold for the promonads and modules used.
    Invoked implicitly when defining modules over promonads and graphical calculus.
invented entities (1)
  • pro-tensor network no independent evidence
    purpose: Categorification of tensor networks to study collections of many-body theories graphically.
    Newly postulated structure whose consistency and utility are claimed but not demonstrated in the abstract.

pith-pipeline@v0.9.0 · 5675 in / 1343 out tokens · 29552 ms · 2026-05-20T23:12:21.081535+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

76 extracted references · 76 canonical work pages · 7 internal anchors

  1. [1]

    Kong,Global quantum many-body theory, https://liang-kong.github.io/

    L. Kong,Global quantum many-body theory, https://liang-kong.github.io/

    work page

  2. [2]

    Kong and H

    L. Kong and H. Zheng,Gapless edges of 2d topological orders and enriched monoidal categories,Nuclear Physics B927(2018) 140–165

    work page 2018

  3. [3]

    Ji and X.-G

    W. Ji and X.-G. Wen,Categorical symmetry and noninvertible anomaly in symmetry-breaking and topological phase transitions,Physical Review Research2(2020)

    work page 2020

  4. [4]

    Kong and H

    L. Kong and H. Zheng,A mathematical theory of gapless edges of 2d topological orders. part i,Journal of High Energy Physics2020(2020)

    work page 2020

  5. [5]

    L. Kong, T. Lan, X.-G. Wen, Z.-H. Zhang and H. Zheng,Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry,Physical Review Research2(2020)

    work page 2020

  6. [6]

    Chen, C.-M

    W.-Q. Chen, C.-M. Jian, L. Kong, Y.-Z. You and H. Zheng,Topological phase transition on the edge of two-dimensional topological order,Physical Review B102(2020)

    work page 2020

  7. [7]

    L. Kong, T. Lan, X.-G. Wen, Z.-H. Zhang and H. Zheng,Classification of topological phases with finite internal symmetries in all dimensions,Journal of High Energy Physics2020 (2020)

    work page 2020

  8. [8]

    Lichtman, R

    T. Lichtman, R. Thorngren, N.H. Lindner, A. Stern and E. Berg,Bulk anyons as edge symmetries: Boundary phase diagrams of topologically ordered states,Physical Review B104 (2021)

    work page 2021

  9. [9]

    Kong, X.-G

    L. Kong, X.-G. Wen and H. Zheng,One dimensional gapped quantum phases and enriched fusion categories,Journal of High Energy Physics2022(2022)

    work page 2022

  10. [10]

    Kong and H

    L. Kong and H. Zheng,Categories of quantum liquids i,Journal of High Energy Physics 2022(2022)

    work page 2022

  11. [11]

    Chatterjee and X.-G

    A. Chatterjee and X.-G. Wen,Symmetry as a shadow of topological order and a derivation of topological holographic principle,Physical Review B107(2023)

    work page 2023

  12. [12]

    Moradi, S.F

    H. Moradi, S.F. Moosavian and A. Tiwari,Topological holography: Towards a unification of landau and beyond-landau physics,SciPost Physics Core6(2023)

    work page 2023

  13. [13]

    Freed, G

    D. Freed, G. Moore and C. Teleman,Topological symmetry in quantum field theory, Quantum Topology15(2024) 779

    work page 2024

  14. [14]

    Kong and H

    L. Kong and H. Zheng,Categories of quantum liquids ii,Communications in Mathematical Physics405(2024)

    work page 2024

  15. [15]

    Lan and J.-R

    T. Lan and J.-R. Zhou,Quantum current and holographic categorical symmetry,SciPost Physics16(2024)

    work page 2024

  16. [16]

    Xu and Z.-H

    R. Xu and Z.-H. Zhang,Categorical descriptions of one-dimensional gapped phases with abelian onsite symmetries,Physical Review B110(2024) . – 93 –

    work page 2024

  17. [17]

    R. Wen, W. Ye and A.C. Potter,Topological holography for fermions,2404.19004

    work page arXiv

  18. [18]

    Bhardwaj, L.E

    L. Bhardwaj, L.E. Bottini, D. Pajer and S. Sch¨ afer-Nameki,Categorical landau paradigm for gapped phases,Phys. Rev. Lett.133(2024) 161601

    work page 2024

  19. [19]

    T. Lan, G. Yue and L. Wang,Category of set orders,Journal of High Energy Physics2024 (2024)

    work page 2024

  20. [20]

    Z. Jia, S. Tan and D. Kaszlikowski,Weak hopf symmetry and tube algebra of the generalized multifusion string-net model,Journal of High Energy Physics2024(2024)

    work page 2024

  21. [21]

    Particle-Soliton Degeneracies from Spontaneously Broken Non-Invertible Symmetry,

    C. Cordova, D. Garc´ ıa-Sep´ ulveda and N. Holfester,Particle-soliton degeneracies from spontaneously broken non-invertible symmetry,2403.08883

    work page arXiv

  22. [22]

    Cordova, N

    C. Cordova, N. Holfester and K. Ohmori,Representation theory of solitons,2408.11045

    work page arXiv

  23. [23]

    Choi, B.C

    Y. Choi, B.C. Rayhaun and Y. Zheng,Generalized tube algebras, symmetry-resolved partition functions, and twisted boundary states,2409.02159

    work page arXiv

  24. [24]

    Jones,Dhr bimodules of quasi-local algebras and symmetric quantum cellular automata, 2304.00068

    C. Jones,Dhr bimodules of quasi-local algebras and symmetric quantum cellular automata, 2304.00068

    work page arXiv

  25. [25]

    Lan,Tube category, tensor renormalization and topological holography,Communications in Mathematical Physics406(2025)

    T. Lan,Tube category, tensor renormalization and topological holography,Communications in Mathematical Physics406(2025)

    work page 2025

  26. [26]

    Huang,Fermionic quantum criticality through the lens of topological holography,Phys

    S.-J. Huang,Fermionic quantum criticality through the lens of topological holography,Phys. Rev. B111(2025) 155130

    work page 2025

  27. [27]

    An operator algebraic approach to fusion category symmetry on the lattice

    D.E. Evans and C. Jones,An operator algebraic approach to fusion category symmetry on the lattice,2507.05185

    work page internal anchor Pith review Pith/arXiv arXiv

  28. [28]

    Levin and X.-G

    M.A. Levin and X.-G. Wen,String-net condensation:a physical mechanism for topological phases,Physical Review B71(2005)

    work page 2005

  29. [29]

    B´ enabou,Les distributeurs,Universit´ e Catholique de Louvain, Institut de Math´ ematique Pure et Appliqu´ eerapport 33(1973)

    J. B´ enabou,Les distributeurs,Universit´ e Catholique de Louvain, Institut de Math´ ematique Pure et Appliqu´ eerapport 33(1973)

    work page 1973

  30. [30]

    Lawvere,Metric spaces, generalized logic, and closed categories,Rendiconti del Seminario Matematico e Fisico di Milano43(1973) 135–166

    F.W. Lawvere,Metric spaces, generalized logic, and closed categories,Rendiconti del Seminario Matematico e Fisico di Milano43(1973) 135–166

    work page 1973

  31. [31]

    Kelly,Basic concepts of enriched category theory, London Mathematical Society lecture note series, Cambridge Univ

    G.M. Kelly,Basic concepts of enriched category theory, London Mathematical Society lecture note series, Cambridge Univ. Pr, Cambridge (1982)

    work page 1982

  32. [32]

    Street,Enriched categories and cohomology,Quaestiones Mathematicae6(1983) 265–283

    R. Street,Enriched categories and cohomology,Quaestiones Mathematicae6(1983) 265–283

    work page 1983

  33. [33]

    B´ enabou,Distributors at work,Lecture notes written by Thomas Streicher11(2000) 8

    J. B´ enabou,Distributors at work,Lecture notes written by Thomas Streicher11(2000) 8

    work page 2000

  34. [34]

    Boisseau,Understanding profunctor optics: a representation theorem,2001.11816

    G. Boisseau,Understanding profunctor optics: a representation theorem,2001.11816

    work page arXiv 2001

  35. [35]

    Clarke, D

    B. Clarke, D. Elkins, J. Gibbons, F. Loregian, B. Milewski, E. Pillmore et al.,Profunctor optics, a categorical update,Compositionality6(2024) 1

    work page 2024

  36. [36]

    Doubles for monoidal categories

    C. Pastro and R. Street,Doubles for monoidal categories,Theory and Applications of Categories21(2008) 61–75 [0711.1859]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  37. [37]

    Tambara,Distributors on a tensor category,Hokkaido Mathematical Journal35(2006) 379

    D. Tambara,Distributors on a tensor category,Hokkaido Mathematical Journal35(2006) 379

    work page 2006

  38. [38]

    Hopf modules for autonomous pseudomonoids and the monoidal centre

    I.L. L´ opez Franco,Hopf modules for autonomous pseudomonoids and the monoidal centre, 0710.3853. – 94 –

    work page internal anchor Pith review Pith/arXiv arXiv

  39. [39]

    Kitaev and L

    A. Kitaev and L. Kong,Models for gapped boundaries and domain walls,Communications in Mathematical Physics313(2012) 351–373

    work page 2012

  40. [40]

    Some universal properties of Levin-Wen models

    L. Kong,Some universal properties of Levin-Wen models, in17th International Congress on Mathematical Physics, pp. 444–455, 2013 [1211.4644]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  41. [41]

    Braided fusion categories, gravitational anomalies, and the mathematical framework for topological orders in any dimensions

    L. Kong and X.-G. Wen,Braided fusion categories, gravitational anomalies, and the mathematical framework for topological orders in any dimensions,1405.5858

    work page internal anchor Pith review Pith/arXiv arXiv

  42. [42]

    Johnson-Freyd,On the classification of topological orders,Communications in Mathematical Physics393(2022) 989–1033

    T. Johnson-Freyd,On the classification of topological orders,Communications in Mathematical Physics393(2022) 989–1033

    work page 2022

  43. [43]

    Bai and Z.-H

    A. Bai and Z.-H. Zhang,On the representation categories of weak hopf algebras arising from levin-wen models,2503.06731

    work page arXiv

  44. [44]

    Kapranov and V

    M. Kapranov and V. Voevodsky,2-categories and Zamolodchikov tetrahedra equations, in Algebraic Groups and Their Generalizations: Quantum and Infinite-Dimensional Methods, vol. 56 ofProceedings of Symposia in Pure Mathematics, (Providence, RI), pp. 177–259, American Mathematical Society (1994)

    work page 1994

  45. [45]

    Baez and J

    J.C. Baez and J. Dolan,Higher-dimensional algebra and topological quantum field theory, Journal of Mathematical Physics36(1995) 6073–6105

    work page 1995

  46. [46]

    Gaiotto and T

    D. Gaiotto and T. Johnson-Freyd,Condensations in higher categories,1905.09566

    work page arXiv 1905

  47. [47]

    Day and R

    B. Day and R. Street,Monoidal bicategories and hopf algebroids,Advances in Mathematics 129(1997) 99–157

    work page 1997

  48. [48]

    Joyal and R

    A. Joyal and R. Street,The geometry of tensor calculus, i,Advances in Mathematics88 (1991) 55–112

    work page 1991

  49. [49]

    Justesen,Bikategorien af profunktorer, Master’s thesis, Aarhus University, Aarhus, 1968

    M. Justesen,Bikategorien af profunktorer, Master’s thesis, Aarhus University, Aarhus, 1968

    work page 1968

  50. [50]

    Day,On closed categories of functors, inReports of the Midwest Category Seminar IV, S

    B. Day,On closed categories of functors, inReports of the Midwest Category Seminar IV, S. MacLane, H. Applegate, M. Barr, B. Day, E. Dubuc, Phreilambud et al., eds., (Berlin, Heidelberg), pp. 1–38, Springer Berlin Heidelberg, 1970

    work page 1970

  51. [51]

    Street,Cauchy characterization of enriched categories,Rendiconti del Seminario Matematico e Fisico di Milano51(1981) 217–233

    R. Street,Cauchy characterization of enriched categories,Rendiconti del Seminario Matematico e Fisico di Milano51(1981) 217–233

    work page 1981

  52. [52]

    Borceux and I

    F. Borceux and I. Stubbe,Short introduction to enriched categories, inCurrent Research in Operational Quantum Logic: Algebras, Categories, Languages, B. Coecke, D. Moore and A. Wilce, eds., (Dordrecht), pp. 167–194, Springer Netherlands (2000), DOI

    work page 2000

  53. [53]

    Street,Frobenius monads and pseudomonoids,Journal of Mathematical Physics45(2004) 3930–3948

    R. Street,Frobenius monads and pseudomonoids,Journal of Mathematical Physics45(2004) 3930–3948

    work page 2004

  54. [54]

    194, Cambridge University Press, Cambridge, 2022

    E. Riehl and D. Verity,Elements of∞-Category Theory, Cambridge University Press, 1 ed. (Jan., 2022), 10.1017/9781108936880

    work page doi:10.1017/9781108936880 2022

  55. [55]

    Huang, H

    M. Huang, H. Xu and Z.-H. Zhang,The 2-character theory for finite 2-groups,2404.01162

    work page arXiv

  56. [56]

    Loregian,(Co)end Calculus, Cambridge University Press, 1 ed

    F. Loregian,(Co)end Calculus, Cambridge University Press, 1 ed. (June, 2021), 10.1017/9781108778657

    work page doi:10.1017/9781108778657 2021

  57. [57]

    Etingof, S

    P.I. Etingof, S. Gelaki, D. Nikshych and V. Ostrik,Tensor categories, Mathematical surveys and monographs, American Mathematical Society, Providence, Rhode Island (2015)

    work page 2015

  58. [58]

    Marmolejo,Doctrines whose structure forms a fully faithful adjoint string,Theory and Applications of Categories3(1997)

    F. Marmolejo,Doctrines whose structure forms a fully faithful adjoint string,Theory and Applications of Categories3(1997) . – 95 –

    work page 1997

  59. [59]

    L´ opez Franco, R

    I. L´ opez Franco, R. Street and R.J. Wood,Duals invert,Applied Categorical Structures19 (2011) 321–361

    work page 2011

  60. [60]

    Majid,Anyonic quantum groups, inSpinors, Twistors, Clifford Algebras and Quantum Deformations, Z

    S. Majid,Anyonic quantum groups, inSpinors, Twistors, Clifford Algebras and Quantum Deformations, Z. Oziewicz, B. Jancewicz and A. Borowiec, eds., (Dordrecht), pp. 327–336, Springer Netherlands, 1993

    work page 1993

  61. [61]

    Schomerus,Construction of field algebras with quantum symmetry from local observables, Communications in Mathematical Physics169(1995) 193–236

    V. Schomerus,Construction of field algebras with quantum symmetry from local observables, Communications in Mathematical Physics169(1995) 193–236

    work page 1995

  62. [62]

    Nill and K

    F. Nill and K. Szlach´ anyi,Quantum chains of hopf algebras with quantum double cosymmetry,Communications in Mathematical Physics187(1997) 159–200

    work page 1997

  63. [63]

    Connes and D

    A. Connes and D. Kreimer,Hopf algebras, renormalization and noncommutative geometry, Communications in Mathematical Physics199(1998) 203–242

    work page 1998

  64. [64]

    Kitaev,Anyons in an exactly solved model and beyond,Annals of Physics321(2006) 2–111

    A. Kitaev,Anyons in an exactly solved model and beyond,Annals of Physics321(2006) 2–111

    work page 2006

  65. [65]

    Chikhladze, S

    D. Chikhladze, S. Lack and R. Street,Hopf monoidal comonads,Theory and Applications of Categories24(2010) 554–563

    work page 2010

  66. [66]

    Street,The formal theory of monads,Journal of Pure and Applied Algebra2(1972) 149–168

    R. Street,The formal theory of monads,Journal of Pure and Applied Algebra2(1972) 149–168

    work page 1972

  67. [67]

    A diagrammatic approach to Hopf monads

    S. Willerton,A diagrammatic approach to hopf monads,0807.0658

    work page internal anchor Pith review Pith/arXiv arXiv

  68. [68]

    Lan and X.-G

    T. Lan and X.-G. Wen,Topological quasiparticles and the holographic bulk-edge relation in (2+1)-dimensional string-net models,Physical Review B90(2014)

    work page 2014

  69. [69]

    Green, P

    D. Green, P. Huston, K. Kawagoe, D. Penneys, A. Poudel and S. Sanford,Enriched string-net models and their excitations,Quantum8(2024) 1301

    work page 2024

  70. [70]

    C.-H. Lin, M. Levin and F.J. Burnell,Generalized string-net models: A thorough exposition, Physical Review B103(2021) [2012.14424]

    work page arXiv 2021

  71. [71]

    Ocneanu,Chirality for operator algebras,Subfactors(1994) 39

    A. Ocneanu,Chirality for operator algebras,Subfactors(1994) 39

    work page 1994

  72. [72]

    Izumi,The structure of sectors associated with Longo-Rehren inclusions

    M. Izumi,The structure of sectors associated with Longo-Rehren inclusions. I: General theory,Commun. Math. Phys.213(2000) 127

    work page 2000

  73. [73]

    From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

    M. Mueger,From subfactors to categories and topology II: The quantum double of tensor categories and subfactors,J. Pure Appl. Algebra180(2001) 159 [math/0111205]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  74. [74]

    Barter, J

    D. Barter, J. Bridgeman and R. Wolf,Computing associators of endomorphism fusion categories,SciPost Physics13(2022) [2110.03644]

    work page arXiv 2022

  75. [75]

    Konechny and V

    A. Konechny and V. Vergioglou,On fusing matrices associated with conformal boundary conditions,2405.10189

    work page arXiv

  76. [76]

    Kelly and V

    G.M. Kelly and V. Schmitt,Notes on enriched categories with colimits of some class,Theory and Applications of Categories14(2005) 399–423. – 96 –

    work page 2005