pith. sign in

arxiv: 2605.28688 · v2 · pith:765JAX7Lnew · submitted 2026-05-27 · ❄️ cond-mat.str-el · hep-th· math-ph· math.MP

Topological lattice gauge theory enriched by non-invertible symmetry

Lea E. Bottini , Clement Delcamp , Edmund Heng , Campbell K. McLauchlan , Dominic J. Williamson This is my paper

Pith reviewed 2026-06-29 09:53 UTC · model grok-4.3

classification ❄️ cond-mat.str-el hep-thmath-phmath.MP
keywords topological ordernon-invertible symmetryquantum double modelhypergroup gradingHopf monadcharge condensationdomain wallsgauging
0
0 comments X

The pith

By condensing an arbitrary algebra of charges in a quantum double model, the excitations form a hypergroup-graded extension with non-invertible domain walls encoded by a Hopf monad.

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

The paper seeks to generalize the axiomatisation of symmetry-enriched topological order from invertible symmetries, described by G-crossed braided fusion categories, to non-invertible symmetries. It demonstrates this using the quantum double model by showing that condensing an arbitrary algebra of charges produces a category of localised excitations that forms a hypergroup-graded extension of the deconfined excitations category. The hypergroup elements correspond to domain walls whose typically non-invertible actions, along with the monoidal structure, are compatible with the grading and encoded in a Hopf monad. Gauging the symmetry then reduces to computing modules over this monad. A reader would care because this supplies a concrete lattice-based foundation for handling non-invertible symmetry enrichment in topological phases.

Core claim

By condensing an arbitrary algebra of charges in a quantum double model, the category of localised excitations in the resulting theory forms a hypergroup-graded extension of the category of deconfined excitations. For every element in the hypergroup, the associated domain wall acts in a typically non-invertible way on these localised excitations. Both this action and the monoidal structure are compatible with the hypergroup grading. The actual categorical action is encoded in a Hopf monad on the category of localised excitations, and gauging the non-invertible symmetry amounts to computing the category of modules over this Hopf monad.

What carries the argument

The Hopf monad on the category of localised excitations that encodes the non-invertible categorical action associated to each element of the hypergroup grading.

If this is right

  • The monoidal structure remains compatible with the hypergroup grading.
  • Domain walls act non-invertibly on localised excitations in a manner consistent with the grading.
  • Gauging the non-invertible symmetry is achieved by computing the category of modules over the Hopf monad.
  • The same construction extends to theories obtained by condensing algebras in generic string-net models.

Where Pith is reading between the lines

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

  • This construction may offer a route to classifying topological orders enriched by non-invertible symmetries.
  • It could link concrete lattice gauge models to abstract fusion-category descriptions of anyonic systems.
  • The Hopf monad approach might be applied to study phase transitions or dynamics in such enriched phases.

Load-bearing premise

Condensing an arbitrary algebra of charges in the quantum double model always produces a well-defined hypergroup grading whose domain walls act via a Hopf monad compatible with the monoidal structure.

What would settle it

A concrete example of condensing a specific charge algebra in a quantum double model where the localised excitations fail to form a hypergroup-graded extension or where the Hopf monad does not correctly yield the gauged theory via its modules.

read the original abstract

We use finite group topological lattice gauge theory, also known as the quantum double model, as a lens to explore a notion of topological order enriched by a non-invertible symmetry. For invertible symmetry enriched topological order, there is an established axiomatisation in terms of a G-crossed braided fusion category. We lay the foundations for a generalisation of this notion. By condensing an arbitrary algebra of charges in a quantum double model, we demonstrate that the category of localised excitations in the resulting theory forms a hypergroup-graded extension of the category of deconfined excitations. For every element in the hypergroup, the associated domain wall acts in a typically non-invertible way on these localised excitations. Both this action and the monoidal structure are compatible with the hypergroup grading. The actual categorical action is encoded in a Hopf monad on the category of localised excitations, and gauging the non-invertible symmetry amounts to computing the category of modules over this Hopf monad. Finally, we outline how this framework naturally extends to theories obtained by condensing algebras in a generic string-net model.

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

1 major / 0 minor

Summary. The manuscript develops a categorical framework for topological order enriched by non-invertible symmetries, using finite-group quantum double models as the starting point. By condensing an arbitrary algebra of charges, the authors claim that the resulting category of localised excitations forms a hypergroup-graded extension of the deconfined excitations category; domain walls associated to hypergroup elements act non-invertibly via a Hopf monad that is compatible with both the grading and the monoidal structure, with gauging recovered as the module category over this monad. The construction is outlined to extend to generic string-net models.

Significance. If the central construction is valid for arbitrary algebras and the Hopf monad is shown to be well-defined and compatible without hidden restrictions, the work would supply a concrete generalization of G-crossed braided fusion categories to the non-invertible setting, furnishing an explicit lattice-gauge-theory realization and a module-category description of gauging. The use of hypergroup gradings and Hopf monads on the localised-excitation category is a novel organizing principle that could unify several strands of non-invertible symmetry literature.

major comments (1)
  1. [Abstract] Abstract (paragraph beginning 'By condensing an arbitrary algebra of charges'): the central claim that the construction works for literally arbitrary charge algebras is load-bearing, yet the manuscript provides no explicit verification that the resulting localised-excitation category remains monoidal or that the hypergroup multiplication is associative and unital when the algebra fails standard condensability conditions (commutativity, trivial self-braiding). If these conditions are tacitly required, the quantifier 'arbitrary' must be qualified and the proof that the Hopf monad still encodes the action must be supplied.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph beginning 'By condensing an arbitrary algebra of charges'): the central claim that the construction works for literally arbitrary charge algebras is load-bearing, yet the manuscript provides no explicit verification that the resulting localised-excitation category remains monoidal or that the hypergroup multiplication is associative and unital when the algebra fails standard condensability conditions (commutativity, trivial self-braiding). If these conditions are tacitly required, the quantifier 'arbitrary' must be qualified and the proof that the Hopf monad still encodes the action must be supplied.

    Authors: We agree that the phrasing 'arbitrary algebra of charges' in the abstract is imprecise and requires qualification. In the setting of anyon condensation within quantum double models, the algebra must satisfy standard condensability conditions (commutativity and trivial self-braiding) for the resulting theory to be well-defined, for the localised-excitation category to remain monoidal, and for the hypergroup structure to be associative and unital. Our construction is carried out under these conventional assumptions. We will revise the abstract to specify 'an arbitrary condensable algebra of charges' and insert a clarifying sentence in the introduction. The manuscript already derives the Hopf monad and its compatibility under these conditions; we will add a short explicit remark (or appendix paragraph) confirming that the monoidality, associativity, and unitality hold precisely when the condensability conditions are met. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained on standard quantum double models

full rationale

The paper presents a categorical construction starting from the quantum double model (finite group topological lattice gauge theory) and an arbitrary algebra of charges. The central claim—that condensing such an algebra yields a hypergroup-graded extension whose domain walls act via a Hopf monad—is framed as a direct demonstration within the abstract and outline, without any reduction of the result to a fitted parameter, self-definition, or load-bearing self-citation. No equations or steps in the provided text equate the output category to the input by construction, rename known results, or invoke prior author work as an unverified uniqueness theorem. The derivation remains independent of the target result and relies on external category-theoretic and anyon-condensation literature as benchmarks rather than internal redefinitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on standard domain assumptions from topological order and category theory together with two new mathematical constructions introduced to handle the non-invertible case.

axioms (2)
  • domain assumption Quantum double models based on finite groups realize topological order with well-defined deconfined and confined excitations.
    Invoked implicitly as the starting point for condensation.
  • standard math Standard axioms of monoidal categories, fusion categories, and Hopf monads hold and apply to the graded extension.
    Background mathematics used to define the hypergroup grading and monad action.
invented entities (2)
  • hypergroup-graded extension of the deconfined excitations category no independent evidence
    purpose: To organize localised excitations after charge condensation under non-invertible symmetry.
    New structure defined by the condensation procedure.
  • Hopf monad on the category of localised excitations no independent evidence
    purpose: To encode the non-invertible domain wall action and enable gauging via module categories.
    Introduced as the mathematical object capturing the symmetry action.

pith-pipeline@v0.9.1-grok · 5743 in / 1568 out tokens · 29844 ms · 2026-06-29T09:53:35.946996+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Hypergroup Symmetry in Relative Quantum Field Theories and Chiral Algebras

    hep-th 2026-06 unverdicted novelty 7.0

    Framework for hypergroup symmetries in relative QFTs establishes one-to-one correspondence between finite symmetries and finite-index conformal embeddings in rational chiral algebras, with implications for gluing left...

Reference graph

Works this paper leans on

78 extracted references · 65 canonical work pages · cited by 1 Pith paper · 19 internal anchors

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION blank.sep after.quote 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip output.state after.quote = after.quoted.block 'outpu...

  2. [2]

    Aasen, E

    D. Aasen, E. Lake, and K. Walker, Fermion condensation and super pivotal categories , http://dx.doi.org/10.1063/1.5045669 J. Math. Phys. 60 (2019) 121901 , http://arxiv.org/abs/1709.01941 arXiv:1709.01941 [cond-mat.str-el]

    work page doi:10.1063/1.5045669 2019

  3. [3]

    Brugui \`e res and S

    A. Brugui \`e res and S. Burciu, On normal tensor functors and coset decompositions for fusion categories, Applied Categorical Structures 23 (2015) 591--608 https://doi.org/10.1007/s10485-014-9371-x

    work page doi:10.1007/s10485-014-9371-x 2015

  4. [4]

    Symmetry fractionalization, defects, and gauging of topological phases,

    M. Barkeshli, P. Bonderson, M. Cheng, and Z. Wang, Symmetry fractionalization, defects, and gauging of topological phases, Phys. Rev. B 100 (2019) 115147 https://link.aps.org/doi/10.1103/PhysRevB.100.115147

    work page doi:10.1103/physrevb.100.115147 2019

  5. [5]

    Bartsch, M

    T. Bartsch, M. Bullimore, A. E. V. Ferrari, and J. Pearson, Non-invertible Symmetries and Higher Representation Theory I , http://arxiv.org/abs/2208.05993 arXiv:2208.05993 [hep-th]

    work page arXiv

  6. [6]

    Bhardwaj, L

    L. Bhardwaj, L. E. Bottini, S. Schafer-Nameki, and A. Tiwari, Non-invertible symmetry webs , http://dx.doi.org/10.21468/SciPostPhys.15.4.160 SciPost Phys. 15 (2023) 160 , http://arxiv.org/abs/2212.06842 arXiv:2212.06842 [hep-th]

    work page doi:10.21468/scipostphys.15.4.160 2023

  7. [7]

    Electric-magnetic duality of lattice systems with topological order

    O. Buerschaper, M. Christandl, L. Kong, and M. Aguado, Electric-magnetic duality of lattice systems with topological order , http://dx.doi.org/10.1016/j.nuclphysb.2013.08.014 Nucl. Phys. B 876 (2013) 619--636 , http://arxiv.org/abs/1006.5823 arXiv:1006.5823 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.nuclphysb.2013.08.014 2013

  8. [8]

    Bullivant and C

    A. Bullivant and C. Delcamp, Tube algebras, excitations statistics and compactification in gauge models of topological phases , http://dx.doi.org/10.1007/JHEP10(2019)216 JHEP 10 (2019) 216 , http://arxiv.org/abs/1905.08673 arXiv:1905.08673 [cond-mat.str-el]

    work page doi:10.1007/jhep10(2019)216 2019

  9. [9]

    B \"o ckenhauer, D

    J. B \"o ckenhauer, D. E. Evans, and Y. Kawahigashi, Longo- R ehren subfactors arising from -induction , http://dx.doi.org/10.2977/prims/1145476688 Publications of the Research Institute for Mathematical Sciences 37 (2001) 1--35

    work page doi:10.2977/prims/1145476688 2001

  10. [10]

    W. R. Bloom and H. Heyer, http://dx.doi.org/doi:10.1515/9783110877595 Harmonic analysis of probability measures on hypergroups , De Gruyter, Berlin, New York, 1995. https://doi.org/10.1515/9783110877595

    work page doi:10.1515/9783110877595 1995

  11. [11]

    Generalized Orbifold Construction for Conformal Nets

    M. Bischoff, Generalized Orbifold Construction for Conformal Nets , http://dx.doi.org/10.1142/S0129055X17500027 Rev. Math. Phys. 29 (2016) 1750002 , http://arxiv.org/abs/1608.00253 arXiv:1608.00253 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0129055x17500027 2016

  12. [12]

    Bischoff, The rank of G -crossed braided extensions of modular tensor categories , http://dx.doi.org/10.48550/arXiv.1807.06131 Contemporary Mathematics 747 (2020) 115

    M. Bischoff, The rank of G -crossed braided extensions of modular tensor categories , http://dx.doi.org/10.48550/arXiv.1807.06131 Contemporary Mathematics 747 (2020) 115

    work page doi:10.48550/arxiv.1807.06131 2020

  13. [13]

    Bruguières, S

    A. Bruguières, S. Lack, and A. Virelizier, Hopf monads on monoidal categories, http://dx.doi.org/https://doi.org/10.1016/j.aim.2011.02.008 Advances in Mathematics 227 (2011) 745--800

    work page doi:10.1016/j.aim.2011.02.008 2011

  14. [14]

    A Family of Non-Abelian Kitaev Models on a Lattice: Topological Confinement and Condensation

    H. Bombin and M. A. Martin-Delgado, A Family of Non-Abelian Kitaev Models on a Lattice: Topological Confinement and Condensation , http://dx.doi.org/10.1103/PhysRevB.78.115421 Phys. Rev. B 78 (2008) 115421 , http://arxiv.org/abs/0712.0190 arXiv:0712.0190 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.78.115421 2008

  15. [15]

    Anyons and matrix product operator algebras

    N. Bultinck, M. Mari\"en, D. J. Williamson, M. B. S ahino g lu, J. Haegeman, and F. Verstraete, Anyons and matrix product operator algebras , http://dx.doi.org/10.1016/j.aop.2017.01.004 Annals Phys. 378 (2017) 183--233 , http://arxiv.org/abs/1511.08090 arXiv:1511.08090 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2017.01.004 2017

  16. [16]

    Bruguieres and S

    A. Bruguieres and S. Natale, Exact sequences of tensor categories, International Mathematics Research Notices 2011 (2011) 5644--5705

    2011

  17. [17]

    A. Brugui \`e res, Cat \'e gories pr \'e modulaires, modularisations et invariants des vari \'e t \'e s de dimension 3 , Mathematische Annalen 316 (2000) 215--236 https://doi.org/10.1007/s002080050011

    work page doi:10.1007/s002080050011 2000

  18. [18]

    F. A. Bais and J. K. Slingerland, Condensate induced transitions between topologically ordered phases , http://dx.doi.org/10.1103/PhysRevB.79.045316 Phys. Rev. B 79 (2009) 045316 , http://arxiv.org/abs/0808.0627 arXiv:0808.0627 [cond-mat.mes-hall]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.79.045316 2009

  19. [19]

    Bhardwaj, S

    L. Bhardwaj, S. Schafer-Nameki, and J. Wu, Universal Non-Invertible Symmetries , http://dx.doi.org/10.1002/prop.202200143 Fortsch. Phys. 70 (2022) 2200143 , http://arxiv.org/abs/2208.05973 arXiv:2208.05973 [hep-th]

    work page doi:10.1002/prop.202200143 2022

  20. [20]

    Brugui\`eres and A

    A. Brugui\`eres and A. Virelizier, Hopf monads, Adv. Math. 215 (2007) 679--733 https://doi.org/10.1016/j.aim.2007.04.011

    work page doi:10.1016/j.aim.2007.04.011 2007

  21. [21]

    J. W. Barrett and B. W. Westbury, Invariants of piecewise linear three manifolds , http://dx.doi.org/10.1090/S0002-9947-96-01660-1 Trans. Am. Math. Soc. 348 (1996) 3997--4022 , http://arxiv.org/abs/hep-th/9311155 arXiv:hep-th/9311155

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s0002-9947-96-01660-1 1996

  22. [22]

    Y. Choi, C. Cordova, P.-S. Hsin, H. T. Lam, and S.-H. Shao, Non-invertible Condensation, Duality, and Triality Defects in 3+1 Dimensions , http://dx.doi.org/10.1007/s00220-023-04727-4 Commun. Math. Phys. 402 (2023) 489--542 , http://arxiv.org/abs/2204.09025 arXiv:2204.09025 [hep-th]

    work page doi:10.1007/s00220-023-04727-4 2023

  23. [23]

    Christian, D

    J. Christian, D. Green, P. Huston, and D. Penneys, A lattice model for condensation in Levin-Wen systems , http://dx.doi.org/10.1007/JHEP09(2023)055 JHEP 09 (2023) 055 , http://arxiv.org/abs/2303.04711 arXiv:2303.04711 [cond-mat.str-el]

    work page doi:10.1007/jhep09(2023)055 2023

  24. [24]

    Chen, Z.-C

    X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symmetry protected topological orders and the group cohomology of their symmetry group, Phys. Rev. B 87 (2013) 155114 https://link.aps.org/doi/10.1103/PhysRevB.87.155114

    work page doi:10.1103/physrevb.87.155114 2013

  25. [25]

    Chen, Z.-X

    X. Chen, Z.-X. Liu, and X.-G. Wen, Two-dimensional symmetry-protected topological orders and their protected gapless edge excitations, Phys. Rev. B 84 (2011) 235141 https://link.aps.org/doi/10.1103/PhysRevB.84.235141

    work page doi:10.1103/physrevb.84.235141 2011

  26. [26]

    Y. Choi, Y. Sanghavi, S.-H. Shao, and Y. Zheng, Non-invertible and higher-form symmetries in 2+1d lattice gauge theories , http://arxiv.org/abs/2405.13105 arXiv:2405.13105 [cond-mat.str-el]

    work page arXiv

  27. [27]

    S. X. Cui and Z. Wang, Universal quantum computation with weakly integral anyons , http://dx.doi.org/10.1063/1.4914941 J. Math. Phys. 56 (2015) 032202 , http://arxiv.org/abs/1401.7096 arXiv:1401.7096 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1063/1.4914941 2015

  28. [28]

    S. X. Cui, M. S. Zini, and Z. Wang, On generalized symmetries and structure of modular categories , http://dx.doi.org/10.1007/s11425-018-9455-5 Sci. China Math. 62 (2019) 417--446 , http://arxiv.org/abs/1809.00245 arXiv:1809.00245 [math.QA]

    work page doi:10.1007/s11425-018-9455-5 2019

  29. [29]

    C. Delcamp, Tensor network approach to electromagnetic duality in (3+1)d topological gauge models , http://dx.doi.org/10.1007/JHEP08(2022)149 JHEP 08 (2022) 149 , http://arxiv.org/abs/2112.08324 arXiv:2112.08324 [cond-mat.str-el]

    work page doi:10.1007/jhep08(2022)149 2022

  30. [30]

    Drinfeld, S

    V. Drinfeld, S. Gelaki, D. Nikshych, and V. Ostrik, On braided fusion categories I , http://dx.doi.org/https://doi.org/10.1007/s00029-010-0017-z Selecta Mathematica 16 (2010) 1--119

    work page doi:10.1007/s00029-010-0017-z 2010

  31. [31]

    The Witt group of non-degenerate braided fusion categories

    A. Davydov, M. M \"u ger, D. Nikshych, and V. Ostrik, The W itt group of non-degenerate braided fusion categories , http://dx.doi.org/10.1515/crelle.2012.014 Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) 2013 (2013) 135--177 , http://arxiv.org/abs/1009.2117 arXiv:1009.2117 [math.QA]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1515/crelle.2012.014 2012

  32. [32]

    Dong, S.-H

    C. Dong, S.-H. Ng, L. Ren, and F. Xu, Generalized Symmetries From Fusion Actions , http://arxiv.org/abs/2508.13063 arXiv:2508.13063 [math.QA]

    work page arXiv

  33. [33]

    Dijkgraaf, V

    R. Dijkgraaf, V. Pasquier, and P. Roche, Quasi Hopf algebras, group cohomology and orbifold models , http://dx.doi.org/https://doi.org/10.1016/0920-5632(91)90123-V Nuclear Physics B - Proceedings Supplements 18 (1991) 60--72

    work page doi:10.1016/0920-5632(91)90123-v 1991

  34. [34]

    Davydov and D

    A. Davydov and D. Simmons, On Lagrangian algebras in group-theoretical braided fusion categories , Journal of Algebra 471 (2017) 149--175 https://www.sciencedirect.com/science/article/pii/S0021869316303246

    2017

  35. [35]

    Delcamp and A

    C. Delcamp and A. Tiwari, Higher categorical symmetries and gauging in two-dimensional spin systems , http://arxiv.org/abs/2301.01259 arXiv:2301.01259 [hep-th]

    work page arXiv

  36. [36]

    Dijkgraaf and E

    R. Dijkgraaf and E. Witten, Topological gauge theories and group cohomology , Communications in Mathematical Physics 129 (1990) 393 -- 429

    1990

  37. [37]

    T. D. Décoppet, Rigid and separable algebras in fusion 2-categories, http://dx.doi.org/https://doi.org/10.1016/j.aim.2023.108967 Advances in Mathematics 419 (2023) 108967

    work page doi:10.1016/j.aim.2023.108967 2023

  38. [38]

    Eck, Dualities between 2+1d fusion surface models from braided fusion categories , http://dx.doi.org/10.21468/SciPostPhys.19.6.157 SciPost Phys

    L. Eck, Dualities between 2+1d fusion surface models from braided fusion categories , http://dx.doi.org/10.21468/SciPostPhys.19.6.157 SciPost Phys. 19 (2025) 157 , http://arxiv.org/abs/2501.14722 arXiv:2501.14722 [cond-mat.str-el]

    work page doi:10.21468/scipostphys.19.6.157 2025

  39. [39]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor categories, vol. 205, American Mathematical Soc., 2016

    2016

  40. [40]

    L. Eck, P. Huston, K. Kawagoe, and D. Penneys, Non-invertible symmetry enriched topological orders . http://arxiv.org/abs/2605.????? arXiv:2605.?????

  41. [41]

    Eilenberg and J

    S. Eilenberg and J. C. Moore, Adjoint functors and triples , Illinois Journal of Mathematics 9 (1965) 381 -- 398 https://doi.org/10.1215/ijm/1256068141

    work page doi:10.1215/ijm/1256068141 1965

  42. [42]

    Etingof, D

    P. Etingof, D. Nikshych, and V. Ostrik, Fusion categories and homotopy theory, Quantum topology 1 (2010) 209--273 https://doi.org/10.4171/qt/6

    work page doi:10.4171/qt/6 2010

  43. [43]

    Symmetry fractionalization and twist defects

    L. Fidkowski, N. H. Lindner, and N. Tarantino, Symmetry fractionalization and twist defects , http://dx.doi.org/10.1088/1367-2630/18/3/035006 New J. Phys. 18 (2016) 035006 , http://arxiv.org/abs/1506.06754 arXiv:1506.06754 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1367-2630/18/3/035006 2016

  44. [44]

    Generalized Global Symmetries

    D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, Generalized Global Symmetries , http://dx.doi.org/10.1007/JHEP02(2015)172 JHEP 02 (2015) 172 , http://arxiv.org/abs/1412.5148 arXiv:1412.5148 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2015)172 2015

  45. [45]

    Heinrich, F

    C. Heinrich, F. Burnell, L. Fidkowski, and M. Levin, Symmetry-enriched string nets: Exactly solvable models for set phases, Phys. Rev. B 94 (2016) 235136 https://link.aps.org/doi/10.1103/PhysRevB.94.235136

    work page doi:10.1103/physrevb.94.235136 2016

  46. [46]

    A. A. Hempel, Hypergroups from fusion subcategories and their integral forms, Ph.D. thesis, University of New Hampshire, 2023. https://scholars.unh.edu/dissertation/2786. Doctoral Dissertations. 2786

    2023

  47. [47]

    Y. Hu, N. Geer, and Y.-S. Wu, Full dyon excitation spectrum in extended Levin-Wen models , http://dx.doi.org/10.1103/PhysRevB.97.195154 Phys. Rev. B 97 (2018) 195154 , http://arxiv.org/abs/1502.03433 arXiv:1502.03433 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.97.195154 2018

  48. [48]

    Y. Hu, Y. Wan, and Y.-S. Wu, Twisted quantum double model of topological phases in two dimensions , http://dx.doi.org/10.1103/PhysRevB.87.125114 Phys. Rev. B 87 (2013) 125114 , http://arxiv.org/abs/1211.3695 arXiv:1211.3695 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.87.125114 2013

  49. [49]

    Inamura and K

    K. Inamura and K. Ohmori, Fusion Surface Models: 2+1d Lattice Models from Fusion 2-Categories , http://dx.doi.org/10.21468/SciPostPhys.16.6.143 SciPost Phys. 16 (2024) 143 , http://arxiv.org/abs/2305.05774 arXiv:2305.05774 [cond-mat.str-el]

    work page doi:10.21468/scipostphys.16.6.143 2024

  50. [50]

    Izumi, The structure of sectors associated with longo--rehren inclusions: I

    M. Izumi, The structure of sectors associated with longo--rehren inclusions: I. general theory, Communications in Mathematical Physics 213 (2000) 127--179 https://doi.org/10.1007/s002200000234

    work page doi:10.1007/s002200000234 2000

  51. [51]

    Jones, S

    C. Jones, S. Morrison, D. Nikshych, and E. C. Rowell, Rank-finiteness for g-crossed braided fusion categories, Transformation Groups 26 (2021) 915--927 https://doi.org/10.1007/s00031-020-09576-2

    work page doi:10.1007/s00031-020-09576-2 2021

  52. [52]

    String-net model of Turaev-Viro invariants

    A. Kirillov, Jr, String-net model of Turaev-Viro invariants , http://arxiv.org/abs/1106.6033 arXiv:1106.6033 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv

  53. [53]

    Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303 (2003) 2--30 https://www.sciencedirect.com/science/article/pii/S0003491602000180

    A. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303 (2003) 2--30 https://www.sciencedirect.com/science/article/pii/S0003491602000180

    2003

  54. [54]

    Anyons in an exactly solved model and beyond

    A. Kitaev, Anyons in an exactly solved model and beyond , http://dx.doi.org/10.1016/j.aop.2005.10.005 Annals Phys. 321 (2006) 2--111 , http://arxiv.org/abs/cond-mat/0506438 arXiv:cond-mat/0506438

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2005.10.005 2005

  55. [55]

    Kirillov Jr., Modular categories and orbifold models, Communications in Mathematical Physics 229 (2002) 309--335 https://doi.org/10.1007/s002200200650

    A. Kirillov Jr., Modular categories and orbifold models, Communications in Mathematical Physics 229 (2002) 309--335 https://doi.org/10.1007/s002200200650

    work page doi:10.1007/s002200200650 2002

  56. [56]

    Kawagoe, C

    K. Kawagoe, C. Jones, S. Sanford, D. Green, and D. Penneys, Levin-Wen is a Gauge Theory: Entanglement from Topology , http://dx.doi.org/10.1007/s00220-024-05144-x Commun. Math. Phys. 405 (2024) 266 , http://arxiv.org/abs/2401.13838 arXiv:2401.13838 [cond-mat.str-el]

    work page doi:10.1007/s00220-024-05144-x 2024

  57. [57]

    Models for Gapped Boundaries and Domain Walls,

    A. Kitaev and L. Kong, Models for gapped boundaries and domain walls, Communications in Mathematical Physics 313 (2012) 351–373 http://dx.doi.org/10.1007/s00220-012-1500-5

    work page doi:10.1007/s00220-012-1500-5 2012

  58. [58]

    Quantum computation with Turaev-Viro codes

    R. Koenig, G. Kuperberg, and B. W. Reichardt, Quantum computation with Turaev Viro codes , http://dx.doi.org/10.1016/j.aop.2010.08.001 Annals Phys. 325 (2010) 2707--2749 , http://arxiv.org/abs/1002.2816 arXiv:1002.2816 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2010.08.001 2010

  59. [59]

    M. K. N. Balasubramanian, M. Buican, C. Delcamp, and R. Radhakrishnan, Gauging Non-Invertible Symmetries in (2+1)d Topological Orders , http://arxiv.org/abs/2507.01142 arXiv:2507.01142 [hep-th]

    work page arXiv

  60. [60]

    Kong, Anyon condensation and tensor categories , http://dx.doi.org/10.1016/j.nuclphysb.2014.07.003 Nucl

    L. Kong, Anyon condensation and tensor categories , http://dx.doi.org/10.1016/j.nuclphysb.2014.07.003 Nucl. Phys. B 886 (2014) 436--482 , http://arxiv.org/abs/1307.8244 arXiv:1307.8244 [cond-mat.str-el]

    work page doi:10.1016/j.nuclphysb.2014.07.003 2014

  61. [61]

    Levin and Z.-C

    M. Levin and Z.-C. Gu, Braiding statistics approach to symmetry-protected topological phases, Phys. Rev. B 86 (2012) 115109 https://link.aps.org/doi/10.1103/PhysRevB.86.115109

    work page doi:10.1103/physrevb.86.115109 2012

  62. [62]

    T. Lan, L. Kong, and X.-G. Wen, Modular extensions of unitary braided fusion categories and 2+1d topological/spt orders with symmetries, Communications in Mathematical Physics 351 (2017) 709--739 https://doi.org/10.1007/s00220-016-2748-y

    work page doi:10.1007/s00220-016-2748-y 2017

  63. [63]

    L. Lin, D. G. Robbins, and E. Sharpe, Decomposition, Condensation Defects, and Fusion , http://dx.doi.org/10.1002/prop.202200130 Fortsch. Phys. 70 (2022) 2200130 , http://arxiv.org/abs/2208.05982 arXiv:2208.05982 [hep-th]

    work page doi:10.1002/prop.202200130 2022

  64. [64]

    M. A. Levin and X.-G. Wen, String net condensation: A Physical mechanism for topological phases , http://dx.doi.org/10.1103/PhysRevB.71.045110 Phys. Rev. B 71 (2005) 045110 , http://arxiv.org/abs/cond-mat/0404617 arXiv:cond-mat/0404617

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.71.045110 2005

  65. [65]

    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, Phys. Rev. B 90 (2014) 115119 https://link.aps.org/doi/10.1103/PhysRevB.90.115119

    work page doi:10.1103/physrevb.90.115119 2014

  66. [66]

    Geometry and Physics

    S. Majid, Representations, duals and quantum doubles of monoidal categories http://eudml.org/doc/220868, Proceedings of the Winter School "Geometry and Physics", Circolo Matematico di Palermo, 1991, pp. [197]--206

    1991

  67. [67]

    Mesaros and Y

    A. Mesaros and Y. Ran, Classification of symmetry enriched topological phases with exactly solvable models, Phys. Rev. B 87 (2013) 155115 https://link.aps.org/doi/10.1103/PhysRevB.87.155115

    work page doi:10.1103/physrevb.87.155115 2013

  68. [68]

    M. Müger, From subfactors to categories and topology ii: The quantum double of tensor categories and subfactors, http://dx.doi.org/https://doi.org/10.1016/S0022-4049(02)00248-7 Journal of Pure and Applied Algebra 180 (2003) 159--219

    work page doi:10.1016/s0022-4049(02)00248-7 2003

  69. [69]

    Neshveyev and M

    S. Neshveyev and M. Yamashita, A few remarks on the tube algebra of a monoidal category, http://dx.doi.org/10.1017/S0013091517000426 Proceedings of the Edinburgh Mathematical Society 61 (2018) 735–758

    work page doi:10.1017/s0013091517000426 2018

  70. [70]

    Ocneanu, Chirality for operator algebras, Subfactors (Kyuzeso, 1993) (1994) 39--63

    A. Ocneanu, Chirality for operator algebras, Subfactors (Kyuzeso, 1993) (1994) 39--63

    1993

  71. [71]

    Ocneanu, Operator algebras, topology and subgroups of quantum symmetry--construction of subgroups of quantum groups, Taniguchi Conference on Mathematics Nara, vol

    A. Ocneanu, Operator algebras, topology and subgroups of quantum symmetry--construction of subgroups of quantum groups, Taniguchi Conference on Mathematics Nara, vol. 98, 2001, pp. 235--263

    2001

  72. [72]

    V. Ostrik , Module categories over the Drinfeld double of a finite group , arXiv Mathematics e-prints (2002) math/0202130, http://arxiv.org/abs/math/0202130 arXiv:math/0202130 [math.QA]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  73. [73]

    Riesen, Fusion rings acting on vertex operator algebras: First steps, Contemporary Mathematics, vol

    A. Riesen, Fusion rings acting on vertex operator algebras: First steps, Contemporary Mathematics, vol. 813, pp. 61--98, American Mathematical Society, Providence, RI, 2025

    2025

  74. [74]

    Higher Gauging and Non-invertible Condensation Defects

    K. Roumpedakis, S. Seifnashri, and S.-H. Shao, Higher Gauging and Non-invertible Condensation Defects , http://dx.doi.org/10.1007/s00220-023-04706-9 Commun. Math. Phys. 401 (2023) 3043--3107 , http://arxiv.org/abs/2204.02407 arXiv:2204.02407 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-023-04706-9 2023

  75. [75]

    J. C. Teo, T. L. Hughes, and E. Fradkin, Theory of twist liquids: Gauging an anyonic symmetry, Annals of Physics 360 (2015) 349--445 https://www.sciencedirect.com/science/article/pii/S0003491615001967

    2015

  76. [76]

    V. G. Turaev and O. Y. Viro, State sum invariants of 3 manifolds and quantum 6j symbols , http://dx.doi.org/10.1016/0040-9383(92)90015-A Topology 31 (1992) 865--902

    work page doi:10.1016/0040-9383(92)90015-a 1992

  77. [77]

    Vancraeynest-De Cuiper and C

    B. Vancraeynest-De Cuiper and C. Delcamp, Twisted gauging and topological sectors in (2+1)d Abelian lattice gauge theories , http://dx.doi.org/10.21468/SciPostPhys.19.2.054 SciPost Phys. 19 (2025) 054 , http://arxiv.org/abs/2501.16301 arXiv:2501.16301 [cond-mat.str-el]

    work page doi:10.21468/scipostphys.19.2.054 2025

  78. [78]

    D. J. Williamson, N. Bultinck, and F. Verstraete, Symmetry-enriched topological order in tensor networks: Defects, gauging and anyon condensation , http://arxiv.org/abs/1711.07982 arXiv:1711.07982 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv