ev
          
          
            
              A
              
                ∗
              
            
          
        
        ∘
        (
        
          i
          
            A
          
        
        ⊗
        
          
            id
          
          
            
              A
              
                ∗
              
            
          
        
        )
        (
        f
        ⊗
        
          
            id
          
          
            
              A
              
                ∗
              
            
          
        
        )
        ∘
        
          
            coev
          
          
            A
          
        
        =
        
          
            ev
          
          
            
              A
              
                ∗
              
            
          
        
        ∘
        (
        
          
            id
          
          
            
              A
              
                ∗
              
            
          
        
        ⊗
        f
        )
        (
        
          
            id
          
          
            A
          
        
        ⊗
        
          i
          
            A
          
          
            −
            1
          
        
        )
        ∘
        
          
            coev
          
          
            
              A
              
                ∗
              
            
          
        
        .
      
    
    {\displaystyle {\text{ev}}_{A^{*}}\circ (i_{A}\otimes {\text{id}}_{A^{*}})(f\otimes {\text{id}}_{A^{*}})\circ {\text{coev}}_{A}={\text{ev}}_{A^{*}}\circ ({\text{id}}_{A^{*}}\otimes f)({\text{id}}_{A}\otimes i_{A}^{-1})\circ {\text{coev}}_{A^{*}}.}

5. (Non-degeneracy) Let 
 
 
 
 β
 
 
 {\displaystyle \beta }
 
 denote the braiding on 
 
 
 
 
 
 C
 
 
 
 
 {\displaystyle {\mathcal {C}}}
 
. For all objects 
 
 
 
 A
 ∈
 
 
 C
 
 
 
 
 {\displaystyle A\in {\mathcal {C}}}
 
, if 
 
 
 
 
 β
 
 B
 ,
 A
 
 
 ∘
 
 β
 
 A
 ,
 B
 
 
 =
 
 
 id
 
 
 A
 ⊗
 B
 
 
 
 
 {\displaystyle \beta _{B,A}\circ \beta _{A,B}={\text{id}}_{A\otimes B}}
 
 for every 
 
 
 
 B
 ∈
 
 
 C
 
 
 
 
 {\displaystyle B\in {\mathcal {C}}}
 
, then there exists some natural number 
 
 
 
 n
 ≥
 0
 
 
 {\displaystyle n\geq 0}
 
 such that 
 
 
 
 A
 ≅
 n
 ⋅
 
 
 1
 
 
 
 
 {\displaystyle A\cong n\cdot {\bf {1}}}
 
.
These axioms are motivated physically as follows:<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a><a class="footnote-ref" id="fnref:15" href="#fn:15">15</a>

<ul><li>The 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear structure reflects the fact that modular tensor categories are supposed to model quantum mechanical phenomena.</li>
<li>The monoidal structure is supposed to represent a fusion process, whereby two objects in 
 
 
 
 
 
 C
 
 
 
 
 {\displaystyle {\mathcal {C}}}
 
 are brought together to create a new object in 
 
 
 
 
 
 C
 
 
 
 
 {\displaystyle {\mathcal {C}}}
 
. In the context of anyons, this corresponds to moving two anyons close together so that they form a joint excitation.</li>
<li>The braiding structure is supposed to represent a physical braiding process, whereby adjacent objects can be braided around one another. In the context of anyons, this correponds to moving one anyon around the other by some <a href="/facts/Wilson_loop/wFsmarqM">string operators</a>.</li>
<li>The dual objects in the rigid structure are supposed to represent <a href="/facts/Antiparticles/7Ic43ThI">antiparticles</a>, with the evaluation and coevaluation maps corresponding to pair creation and annihilation operators. In the context of anyons, this corresponds to the ability to create and annihilate pairs of anyons with opposite <a href="/facts/Topological_quantum_number/rSa0TewR">topological charge</a>.</li>
<li>The pivotal structure and the spherical axiom encode natural compatibility conditions between particles and antiparticles that are expected on physical grounds.</li>
<li>The equivalence 
 
 
 
 
 
 C
 
 
 ≃
 
 
 
 V
 e
 c
 
 
 
 
 C
 
 
 
 n
 
 
 
 
 {\displaystyle {\mathcal {C}}\simeq {\bf {Vec}}_{\mathbb {C} }^{n}}
 
 reflects some finer nature of the correspondence between objects in modular tensor categories and physical phenomena. Roughly, it corresponds to the fact that the quasiparticles described by 
 
 
 
 
 
 C
 
 
 
 
 {\displaystyle {\mathcal {C}}}
 
 have finitely many distinct types (<a href="/facts/Superselection/tlUC3YYR">superselection sectors</a>) and that every quasiparticle can be broken down via measurements to elementary quasiparticles (a sort of physical <a href="/facts/Semi-simplicity/Wz7E1GbT">semi-simplicity</a>). In the context of anyons, this corresponds to the fact that individual topological phases of matter can only support finitely many anyon types and that topological charge measurement can project any localized excitation into an elementary anyon.</li></ul>
<h3>Relationship to other notions</h3>
There are various intermediate notions which can be defined using only a subset of the structures and axioms of a modular tensor category.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>

<ul><li>A category with structure (1) and axiom (1) from above is called a (Kapranov–Voevodsky) <a href="/facts/Higher-dimensional_algebra/vyMHqRp4">2-vector space</a>. Often, instead of being defined through an abstract equivalence 
 
 
 
 
 
 C
 
 
 ≃
 
 
 
 V
 e
 c
 
 
 
 
 C
 
 
 
 n
 
 
 
 
 {\displaystyle {\mathcal {C}}\simeq {\bf {Vec}}_{\mathbb {C} }^{n}}
 
, 2-vector spaces are defined in a piecemeal fashion. That is, a 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear category 
 
 
 
 
 
 C
 
 
 
 
 {\displaystyle {\mathcal {C}}}
 
 is a 2-vector space if and only if it is <a href="/facts/Abelian_category/4WN473Yc">abelian</a>, <a href="/facts/Semisimple_category/Wz7E1GbT">semisimple</a>, and has finitely many isomorphism classes of <a href="/facts/Schur%27s_lemma/JvAT7t09">simple objects</a>.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a></li>
<li>A category with structures (1) + (2) + (3) and satisfying axioms (1) + (2) + (3) is called a <a href="/facts/Fusion_category/jITXf7JQ">fusion category</a>.<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a></li>
<li>A category with all of the structures of a modular tensor category satisfying all of the axioms but non-degeneracy (that is, a braided spherical fusion category) is called a pre-modular category.<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a></li></ul>
<h2 id="relationship-to-topological-quantum-field-theory">Relationship to topological quantum field theory</h2>
The relationship between modular tensor categories and <a href="/facts/Topological_quantum_field_theory/zHjrp3b8">topological quantum field theory</a> is codified in the <a href="/facts/Reshetikhin%E2%80%93Turaev_invariant/xQhD411L">Reshetikhin–Turaev construction</a>, which was introduced in 1991 by <a href="/facts/Vladimir_Turaev/cGQsYMpD">Vladimir Turaev</a> and <a href="/facts/Nicolai_Reshetikhin/DH7r3bWv">Nicolai Reshetikhin</a>.<a class="footnote-ref" id="fnref:20" href="#fn:20">20</a><a class="footnote-ref" id="fnref:21" href="#fn:21">21</a> This construction was introduced to serve as a mathematical realization of <a href="/facts/Edward_Witten/lPUylPmj">Edward Witten</a>'s proposal of defining invariants of links and 3-manifolds using <a href="/facts/Quantum_field_theory/VoewsNJV">quantum field theory</a>. The Reshetikhin-Turaev construction assigns to every modular tensor category a (2+1)-dimensional <a href="/facts/Topological_quantum_field_theory/zHjrp3b8">topological quantum field theory</a>. In one interpretation of the theory, the Reshetikhin-Turaev construction induces a <a href="/facts/Bijection/j4gTuTmW">bijection</a> between once-extended <a href="/facts/Anomaly_(physics)/RbeExSmM">anomalous</a> (2+1)-dimensional topological quantum field theories valued in the <a href="/facts/Strict_2-category/YeMVfoAc">2-category</a> of 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear categories, and modular multi-tensor categories equipped with a square root of the global dimension in each factor. Here, a modular multi-tensor category refers to a modular tensor category with the possibility that 
 
 
 
 
 
 End
 
 
 
 C
 
 
 
 (
 
 
 1
 
 
 )
 ≄
 
 C
 
 
 
 {\displaystyle {\text{End}}_{\mathcal {C}}({\bf {1}})\not \simeq \mathbb {C} }
 
.<a class="footnote-ref" id="fnref:22" href="#fn:22">22</a>

<h2 id="relationship-to-rational-conformal-field-theory">Relationship to rational conformal field theory</h2>
The relationship between modular tensor categories and <a href="/facts/Rational_conformal_field_theory/0zPsDp63">rational conformal field theory</a> was introduced by <a href="/facts/Greg_Moore_(physicist)/7WCVjHHt">Greg Moore</a> and <a href="/facts/Nathan_Seiberg/fXv7kvGs">Nathan Seiberg</a>. After a series of papers studying the algebraic relations between the basic <a href="/facts/Chirality_(physics)/H8Xbcvzt">chiral</a> pieces of data in rational conformal field theories (primary fields),<a class="footnote-ref" id="fnref:23" href="#fn:23">23</a><a class="footnote-ref" id="fnref:24" href="#fn:24">24</a> Moore and Seiberg discovered that the structure into which these pieces of data naturally assemble is a modular tensor category.<a class="footnote-ref" id="fnref:25" href="#fn:25">25</a> This data is now referred to as the Moore-Seiberg data of a rational conformal field theory. This data is not entirely enough to specify a conformal field theory; in particular, some non-chiral data is needed to arrive at a full theory with local correlation functions. This additional necessary data was studied by Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert, and was shown to correspond to the data of a <a href="/facts/Symmetric_algebra/A8FthY0N">symmetric</a> special <a href="/facts/Frobenius_algebra/xnxIFzQ7">Frobenius</a> <a href="/facts/Group_object/9xk1oyfm">algebra object</a> in the Moore-Seiberg modular tensor category.<a class="footnote-ref" id="fnref:26" href="#fn:26">26</a>
The connection between rational conformal field theory and modular tensor categories can also be understood in the language of <a href="/facts/Vertex_operator_algebra/npzGRlsD">vertex operator algebras</a>.<a class="footnote-ref" id="fnref:27" href="#fn:27">27</a> There is a well-established theory that associates to every conformal field theory a vertex operator algebra.<a class="footnote-ref" id="fnref:28" href="#fn:28">28</a> When this vertex operator algebra is rational and satisfies certain algebraic conditions, its <a href="/facts/Category_of_representations/Lxr3DLnt">category of representations</a> is naturally equipped with the structure of a modular tensor category.<a class="footnote-ref" id="fnref:29" href="#fn:29">29</a>

<h2 id="constructions-of-modular-tensor-categories">Constructions of modular tensor categories</h2>
There are various constructions of modular tensor categories from across the mathematical and physical literature.<a class="footnote-ref" id="fnref:30" href="#fn:30">30</a><a class="footnote-ref" id="fnref:31" href="#fn:31">31</a>

<h3>From finite groups</h3>
One construction comes from <a href="/facts/Finite_group/vv2tvogB">finite group theory</a>.<a class="footnote-ref" id="fnref:32" href="#fn:32">32</a> This construction assigns to every finite group 
 
 
 
 G
 
 
 {\displaystyle G}
 
 a modular tensor category 
 
 
 
 
 
 D
 
 
 (
 G
 )
 
 
 {\displaystyle {\mathcal {D}}(G)}
 
 referred to as the quantum double of 
 
 
 
 G
 
 
 {\displaystyle G}
 
. This category is defined as the <a href="/facts/Center_(category_theory)/jkESgHgh">Drinfeld center</a> of the <a href="/facts/Category_of_representations/Lxr3DLnt">category of (complex) representations</a> of 
 
 
 
 G
 
 
 {\displaystyle G}
 
. That is, 
 
 
 
 
 
 D
 
 
 (
 G
 )
 =
 
 
 Z
 
 
 (
 
 
 
 Rep
 
 
 
 G
 
 
 )
 
 
 {\displaystyle {\mathcal {D}}(G)={\mathcal {Z}}({\textrm {Rep}}_{G})}
 
. Alternatively, 
 
 
 
 
 
 D
 
 
 (
 G
 )
 
 
 {\displaystyle {\mathcal {D}}(G)}
 
 can be defined as the Drinfeld center of the category of 
 
 
 
 G
 
 
 {\displaystyle G}
 
-<a href="/facts/Graded_vector_space/Ff1maywV">graded (complex) vector spaces</a>. That is, 
 
 
 
 
 
 D
 
 
 (
 G
 )
 =
 
 
 Z
 
 
 (
 
 
 
 Vec
 
 
 
 G
 
 
 )
 
 
 {\displaystyle {\mathcal {D}}(G)={\mathcal {Z}}({\textrm {Vec}}_{G})}
 
. It is a non-trivial fact that these two definitions are equivalent, which is referred to as a categorical <a href="/facts/Morita_equivalence/vEVRJSJw">Morita equivalence</a> between 
 
 
 
 
 
 R
 e
 p
 
 
 G
 
 
 
 
 {\displaystyle \mathrm {Rep} _{G}}
 
 and 
 
 
 
 
 
 V
 e
 c
 
 
 G
 
 
 
 
 {\displaystyle \mathrm {Vec} _{G}}
 
. In this context, two monoidal categories are called Morita equivalent if there is an equivalence of braided monoidal categories between their Drinfeld centers.
There is a more general construction that comes from twisting the associativity relation by a 3-cocycle in <a href="/facts/Group_cohomology/ncLTIHj4">group cohomology</a> 
 
 
 
 
 H
 
 3
 
 
 (
 G
 ,
 U
 (
 1
 )
 )
 
 
 {\displaystyle H^{3}(G,U(1))}
 
, where 
 
 
 
 U
 (
 1
 )
 
 
 {\displaystyle U(1)}
 
 is the <a href="/facts/Circle_group/kuzdWtHo">circle group</a>.<a class="footnote-ref" id="fnref:33" href="#fn:33">33</a> More precisely, given any 3-cochain 
 
 
 
 α
 ∈
 
 Z
 
 3
 
 
 (
 G
 ,
 U
 (
 1
 )
 )
 
 
 {\displaystyle \alpha \in Z^{3}(G,U(1))}
 
 there is an associated spherical fusion category 
 
 
 
 
 
 Vec
 
 
 G
 
 
 α
 
 
 
 
 {\displaystyle {\text{Vec}}_{G}^{\alpha }}
 
 which is defined identically to the category of 
 
 
 
 G
 
 
 {\displaystyle G}
 
-graded vector spaces 
 
 
 
 
 
 V
 e
 c
 
 
 G
 
 
 
 
 {\displaystyle \mathrm {Vec} _{G}}
 
 except that its associativity relation is twisted by 
 
 
 
 α
 
 
 {\displaystyle \alpha }
 
. Cochains which differ by a coboundary yield equivalent spherical fusion categories, so the spherical fusion category 
 
 
 
 
 
 Vec
 
 
 G
 
 
 α
 
 
 
 
 {\displaystyle {\text{Vec}}_{G}^{\alpha }}
 
 is well-defined up to equivalence on cohomology classes in 
 
 
 
 
 H
 
 3
 
 
 (
 G
 ,
 U
 (
 1
 )
 )
 
 
 {\displaystyle H^{3}(G,U(1))}
 
. Taking the Drinfeld center 
 
 
 
 
 
 Z
 
 
 (
 
 
 Vec
 
 
 G
 
 
 α
 
 
 )
 
 
 {\displaystyle {\mathcal {Z}}({\text{Vec}}_{G}^{\alpha })}
 
 results in a modular tensor category which is determined by a finite group 
 
 
 
 G
 
 
 {\displaystyle G}
 
 and a cohomology class 
 
 
 
 [
 α
 ]
 ∈
 
 H
 
 3
 
 
 (
 G
 ,
 U
 (
 1
 )
 )
 
 
 {\displaystyle [\alpha ]\in H^{3}(G,U(1))}
 
.<a class="footnote-ref" id="fnref:34" href="#fn:34">34</a>
On the level of <a href="/facts/Topological_quantum_field_theory/zHjrp3b8">topological quantum field theory</a>, the group-theoretical modular tensor category 
 
 
 
 
 
 D
 
 
 (
 G
 )
 
 
 {\displaystyle {\mathcal {D}}(G)}
 
 correspond to discrete <a href="/facts/Gauge_theory/fSW3gggv">gauge theory</a> with finite gauge group 
 
 
 
 G
 
 
 {\displaystyle G}
 
,<a class="footnote-ref" id="fnref:35" href="#fn:35">35</a> also called Dijkgraaf-Witten theory, named after <a href="/facts/Robbert_Dijkgraaf/e7R9LBGH">Robbert Dijkgraaf</a> and <a href="/facts/Edward_Witten/lPUylPmj">Edward Witten</a>.<a class="footnote-ref" id="fnref:36" href="#fn:36">36</a> The 3-cocycle 
 
 
 
 [
 α
 ]
 ∈
 
 H
 
 3
 
 
 (
 G
 ,
 U
 (
 1
 )
 )
 
 
 {\displaystyle [\alpha ]\in H^{3}(G,U(1))}
 
 corresponds to a choice of Dijkgraaf-Witten action in the <a href="/facts/Lagrangian_(field_theory)/p9BCUz57">Lagrangian</a>. On the level <a href="/facts/Topological_order/EfEnKRSw">topological order</a>, 
 
 
 
 
 
 D
 
 
 (
 G
 )
 
 
 {\displaystyle {\mathcal {D}}(G)}
 
 corresponds to the anyons in <a href="/facts/Alexei_Kitaev/yF6fPcey">Kitaev</a>'s quantum double model with input group 
 
 
 
 G
 
 
 {\displaystyle G}
 
.<a class="footnote-ref" id="fnref:37" href="#fn:37">37</a>

<h3>From quantum groups</h3>
Associated to every <a href="/facts/Compact_group/Itl2HJaR">compact</a>, <a href="/facts/Simple_Lie_group/LkHTNYU9">simple</a>, <a href="/facts/Simply_connected_space/xFlta63J">simply-connected</a> <a href="/facts/Lie_group/a9jCQyjF">Lie group</a> 
 
 
 
 G
 
 
 {\displaystyle G}
 
 with <a href="/facts/Lie_group%E2%80%93Lie_algebra_correspondence/zAnzPAV1">associated</a> <a href="/facts/Lie_algebra/n2gAUkNq">Lie algebra</a> 
 
 
 
 
 
 g
 
 
 
 
 {\displaystyle {\mathfrak {g}}}
 
 and every positive integer 
 
 
 
 k
 ≥
 1
 
 
 {\displaystyle k\geq 1}
 
, there is an associated quantum group 
 
 
 
 
 
 
 U
 
 
 
 q
 
 
 (
 
 
 g
 
 
 )
 
 
 {\displaystyle {\mathcal {U}}_{q}({\mathfrak {g}})}
 
 where 
 
 
 
 q
 
 
 {\displaystyle q}
 
 is a certain root of unity associated to 
 
 
 
 k
 
 
 {\displaystyle k}
 
 via the formula 
 
 
 
 q
 =
 
 e
 
 π
 i
 
 /
 
 D
 (
 k
 +
 
 
 
 h
 ˇ
 
 
 
 )
 
 
 
 
 {\displaystyle q=e^{\pi i/D(k+{\check {h}})}}
 
 where 
 
 
 
 
 
 
 h
 ˇ
 
 
 
 
 
 {\displaystyle {\check {h}}}
 
 is the <a href="/facts/Dual_Coxeter_number/4B80wH8V">dual Coxeter number</a> of 
 
 
 
 
 
 g
 
 
 
 
 {\displaystyle {\mathfrak {g}}}
 
 and 
 
 
 
 D
 
 
 {\displaystyle D}
 
 is the biggest absolute value of an off-diagonal entry of the <a href="/facts/Cartan_matrix/9KM1DPn4">Cartan matrix</a> of 
 
 
 
 
 
 g
 
 
 
 
 {\displaystyle {\mathfrak {g}}}
 
.<a class="footnote-ref" id="fnref:38" href="#fn:38">38</a> From this quantum group it is possible to define a category called the 
 
 
 
 
 
 C
 
 
 (
 
 
 g
 
 
 ,
 k
 )
 
 
 {\displaystyle {\mathcal {C}}({\mathfrak {g}},k)}
 
, which is defined by performing a certain <a href="/facts/Semi-simplicity/Wz7E1GbT">semi-simplification</a> procedure on the <a href="/facts/Category_of_representations/Lxr3DLnt">category of representations</a> of 
 
 
 
 
 
 
 U
 
 
 
 q
 
 
 (
 
 
 g
 
 
 )
 
 
 {\displaystyle {\mathcal {U}}_{q}({\mathfrak {g}})}
 
.<a class="footnote-ref" id="fnref:39" href="#fn:39">39</a><a class="footnote-ref" id="fnref:40" href="#fn:40">40</a> For choices of 
 
 
 
 
 
 g
 
 
 
 
 {\displaystyle {\mathfrak {g}}}
 
, 
 
 
 
 k
 
 
 {\displaystyle k}
 
 not lying is certain exceptional families, the category 
 
 
 
 
 
 C
 
 
 (
 
 
 g
 
 
 ,
 k
 )
 
 
 {\displaystyle {\mathcal {C}}({\mathfrak {g}},k)}
 
 is modular and is called the quantum group modular category of 
 
 
 
 
 
 g
 
 
 
 
 {\displaystyle {\mathfrak {g}}}
 
 at level 
 
 
 
 k
 
 
 {\displaystyle k}
 
.<a class="footnote-ref" id="fnref:41" href="#fn:41">41</a>
On the level of topological quantum field theory, quantum group modular categories correspond to <a href="/facts/Chern%E2%80%93Simons_theory/AQ3Kayn3">Chern–Simons theory</a>.<a class="footnote-ref" id="fnref:42" href="#fn:42">42</a> Chern-Simons theories are specified by a compact simple Lie group 
 
 
 
 G
 
 
 {\displaystyle G}
 
, which corresponds to the <a href="/facts/Gauge_theory/fSW3gggv">gauge group</a> of the theory, and an integer level 
 
 
 
 k
 ≥
 1
 
 
 {\displaystyle k\geq 1}
 
 which specifies a coupling constant in the Chern-Simons action. The modular tensor category corresponding to the 
 
 
 
 (
 G
 ,
 k
 )
 
 
 {\displaystyle (G,k)}
 
 Chern-Simons theory under the Reshetikhin-Turaev construction is 
 
 
 
 
 
 C
 
 
 (
 
 
 g
 
 
 ,
 k
 )
 
 
 {\displaystyle {\mathcal {C}}({\mathfrak {g}},k)}
 
.<a class="footnote-ref" id="fnref:43" href="#fn:43">43</a> It was on the physical grounds of Chern-Simons theory that <a href="/facts/Edward_Witten/lPUylPmj">Edward Witten</a> theorized that every compact, simple Lie group and integer level should be associated to invariants of links and 3-manifolds, and it is using the Reshetikhin-Turaev construction associated to 
 
 
 
 
 
 C
 
 
 (
 
 
 g
 
 
 ,
 k
 )
 
 
 {\displaystyle {\mathcal {C}}({\mathfrak {g}},k)}
 
 that Witten's program was completed.<a class="footnote-ref" id="fnref:44" href="#fn:44">44</a><a class="footnote-ref" id="fnref:45" href="#fn:45">45</a>

<h3>From weak Hopf algebras</h3>
There is a construction of modular tensor categories coming from the theory of <a href="/facts/Weak_Hopf_algebra/5qqypmj4">weak Hopf algebras</a>.<a class="footnote-ref" id="fnref:46" href="#fn:46">46</a> These constructions play on the general theme of <a href="/facts/Tannaka%E2%80%93Krein_duality/oYJwJV8H">Tannaka–Krein duality</a>. It can be shown that the representation category of every finite-dimensional <a href="/facts/Weak_Hopf_algebra/5qqypmj4">Weak Hopf algebra</a> is a 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear monoidal category, which is equivalent as a 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear category to 
 
 
 
 
 
 
 Vec
 
 
 
 
 C
 
 
 
 n
 
 
 
 
 {\displaystyle {\textrm {Vec}}_{\mathbb {C} }^{n}}
 
. It is a theorem of Takahiro Hayashi that the converse is also true - every 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear monoidal category, which is equivalent as a 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
-linear category to 
 
 
 
 
 
 
 Vec
 
 
 
 
 C
 
 
 
 n
 
 
 
 
 {\displaystyle {\textrm {Vec}}_{\mathbb {C} }^{n}}
 
 is equivalent to the representation category of some weak Hopf algebra.<a class="footnote-ref" id="fnref:47" href="#fn:47">47</a> Adding more structures onto the weak Hopf algebras corresponds to adding more structures on the representation category. For instance, adding a <a href="/facts/Quasitriangular_Hopf_algebra/Y6acUkBu">quasitriangular</a> structure to the weak Hopf algebra corresponds to adding a <a href="/facts/Braided_monoidal_category/u20sctLa">braiding</a> on the representation category.<a class="footnote-ref" id="fnref:48" href="#fn:48">48</a> In their original work, Reshetikhin-Turaev introduced the notion of a modular Hopf algebra, which has sufficiently many structures and axioms so that its representation category will be a modular category.<a class="footnote-ref" id="fnref:49" href="#fn:49">49</a> In the context of Hopf algebras, it is common to work with the quantum double construction which is defined by taking in an input weak Hopf algebra 
 
 
 
 H
 
 
 {\displaystyle H}
 
 and outputting the doubled Hopf algebra 
 
 
 
 H
 ⊗
 
 H
 
 ∗
 
 
 
 
 {\displaystyle H\otimes H^{*}}
 
 which can naturally be equipped with a quasi-triangular structure,<a class="footnote-ref" id="fnref:50" href="#fn:50">50</a> and whose representation category will often be a modular tensor category. These sorts of modular Hopf algebras are called 'doubled'. On the level of <a href="/facts/Topological_order/EfEnKRSw">topological order</a>, the representation categories doubled Hopf algebras correspond to anyons in the generalized Kitaev quantum double model.<a class="footnote-ref" id="fnref:51" href="#fn:51">51</a>

<h3>From subfactors</h3>
There is a relationship between modular tensor categories and <a href="/facts/Subfactor/8YvSTJ6l">subfactors</a> introduced and developed throughout the late 1990s and early 2000s by Adrian Ocneanu, Michael Müger, and other authors.<a class="footnote-ref" id="fnref:52" href="#fn:52">52</a><a class="footnote-ref" id="fnref:53" href="#fn:53">53</a><a class="footnote-ref" id="fnref:54" href="#fn:54">54</a> These constructions typically work by first constructing a <a href="/facts/Spherical_category/Sa6Cs9B0">spherical fusion category</a> and then taking its <a href="/facts/Center_(category_theory)/jkESgHgh">Drinfeld center</a>, which is modular by Müger's theorem. There are various relevant constructions, depending on the type of the subfactor and the axioms it is required to satisfy. For example, in the case of a type 
 
 
 
 
 
 
 I
 I
 
 
 
 1
 
 
 
 
 {\displaystyle {\rm {II}}_{1}}
 
subfactor 
 
 
 
 N
 ⊂
 M
 
 
 {\displaystyle N\subset M}
 
 with finite index and finite depth, the associated spherical fusion category is defined by taking by considering the sub-category of 
 
 
 
 N
 
 
 {\displaystyle N}
 
-
 
 
 
 N
 
 
 {\displaystyle N}
 
 bimodules generated by 
 
 
 
 M
 
 
 {\displaystyle M}
 
, viewed as an 
 
 
 
 N
 
 
 {\displaystyle N}
 
-
 
 
 
 N
 
 
 {\displaystyle N}
 
 bimodule.<a class="footnote-ref" id="fnref:55" href="#fn:55">55</a> In the case of separable type 
 
 
 
 
 
 
 I
 I
 I
 
 
 
 1
 
 
 
 
 {\displaystyle {\rm {III}}_{1}}
 
factors 
 
 
 
 M
 
 
 {\displaystyle M}
 
, there is an associated spherical fusion category 
 
 
 
 
 
 End
 
 
 (
 M
 )
 
 
 {\displaystyle {\textrm {End}}(M)}
 
 whose objects are 
 
 
 
 ∗
 
 
 {\displaystyle *}
 
-automorphisms of 
 
 
 
 M
 
 
 {\displaystyle M}
 
 and whose morphisms are intertwining maps. Any finite-index subfactor 
 
 
 
 N
 ⊂
 M
 
 
 {\displaystyle N\subset M}
 
 naturally gives rise to the structure of a Frobenius algebra in 
 
 
 
 
 
 End
 
 
 (
 M
 )
 
 
 {\displaystyle {\textrm {End}}(M)}
 
, and in fact there is a bijection between finite-index subfactors of 
 
 
 
 M
 
 
 {\displaystyle M}
 
 and Frobenius algebras in 
 
 
 
 
 
 End
 
 
 (
 M
 )
 
 
 {\displaystyle {\textrm {End}}(M)}
 
.<a class="footnote-ref" id="fnref:56" href="#fn:56">56</a>
Using the Reshetikhin-Turaev construction, all of these constructions of modular tensor categories can assigned <a href="/facts/Topological_quantum_field_theory/zHjrp3b8">topological quantum field theories</a>. In the case of type 
 
 
 
 
 
 
 I
 I
 
 
 
 1
 
 
 
 
 {\displaystyle {\rm {II}}_{1}}
 
subfactors 
 
 
 
 N
 ⊂
 M
 
 
 {\displaystyle N\subset M}
 
 with finite index and finite depth, there is an alternative approach due to Ocneanu which directly constructs the relevant field theory.<a class="footnote-ref" id="fnref:57" href="#fn:57">57</a>

<h2 id="see-also">See also</h2>
<ul><li>Algebraic theory of topological quantum information</li>
<li>Fibonacci category</li>
<li><a href="/facts/Modular_group_representation/CtTBEM3X">Modular group representation</a></li>
<li>Skeletonization of fusion categories</li>
<li>Rank-finiteness for fusion categories</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Moore, G; Seiberg, N (1989-09-01). Lectures on RCFT (Rational Conformal Field Theory) (Report). doi:10.2172/7038633. OSTI 7038633. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Moore, G; Seiberg, N (1989-09-01). Lectures on RCFT (Rational Conformal Field Theory) (Report). doi:10.2172/7038633. OSTI 7038633. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Bartlett, Bruce; Douglas, Christopher L.; Schommer-Pries, Christopher J.; Vicary, Jamie (2015-09-22). "Modular categories as representations of the 3-dimensional bordism 2-category". arXiv:1509.06811 [math.AT]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Kitaev, Alexei (2006). "Anyons in an exactly solved model and beyond". Annals of Physics. 321 (1). Elsevier BV: 2–111. arXiv:cond-mat/0506438. Bibcode:2006AnPhy.321....2K. doi:10.1016/j.aop.2005.10.005. ISSN 0003-4916. <a href="https://doi.org/10.1016%2Fj.aop.2005.10.005" target="_blank">https://doi.org/10.1016%2Fj.aop.2005.10.005</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Turaev, Vladimir G. (1992). "Modular Categories and 3-Manifold Invariants". International Journal of Modern Physics B. 06 (11n12): 1807–1824. Bibcode:1992IJMPB...6.1807T. doi:10.1142/S0217979292000876. ISSN 0217-9792. <a href="/wiki/Bibcode_(identifier)" target="_blank">/wiki/Bibcode_(identifier)</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Moore, G; Seiberg, N (1989-09-01). Lectures on RCFT (Rational Conformal Field Theory) (Report). doi:10.2172/7038633. OSTI 7038633. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Turaev, Vladimir G. (1992). "Modular Categories and 3-Manifold Invariants". International Journal of Modern Physics B. 06 (11n12): 1807–1824. Bibcode:1992IJMPB...6.1807T. doi:10.1142/S0217979292000876. ISSN 0217-9792. <a href="/wiki/Bibcode_(identifier)" target="_blank">/wiki/Bibcode_(identifier)</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Kong, Liang; Zhang, Zhi-Hao (2022-05-11). "An invitation to topological orders and category theory". arXiv:2205.05565 [cond-mat.str-el]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Yetter, David N. (1992). "Framed tangles and a theorem of Deligne on braided deformations of Tannakian categories". Contemporary Mathematics. Vol. 134. Providence, Rhode Island: American Mathematical Society. pp. 325–349. doi:10.1090/conm/134/1187296. ISBN 978-0-8218-5141-8. <a href="978-0-8218-5141-8" target="_blank">978-0-8218-5141-8</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Bruguières, Alain (2000-02-01). "Catégories prémodulaires, modularisations et invariants des variétés de dimension 3". Mathematische Annalen. 316 (2): 215–236. doi:10.1007/s002080050011. ISSN 0025-5831. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Kong, Liang; Zhang, Zhi-Hao (2022-05-11). "An invitation to topological orders and category theory". arXiv:2205.05565 [cond-mat.str-el]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Rowell, Eric C. (2005-03-11). "From Quantum Groups to Unitary Modular Tensor Categories". arXiv:math/0503226. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Rowell, Eric; Wang, Zhenghan (2018-01-16). "Mathematics of topological quantum computing" (PDF). Bulletin of the American Mathematical Society. 55 (2): 183–238. doi:10.1090/bull/1605. ISSN 0273-0979. Retrieved 2025-02-21. <a href="https://www.ams.org/bull/2018-55-02/S0273-0979-2018-01605-4/S0273-0979-2018-01605-4.pdf" target="_blank">https://www.ams.org/bull/2018-55-02/S0273-0979-2018-01605-4/S0273-0979-2018-01605-4.pdf</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Kitaev, Alexei (2006). "Anyons in an exactly solved model and beyond". Annals of Physics. 321 (1). Elsevier BV: 2–111. arXiv:cond-mat/0506438. Bibcode:2006AnPhy.321....2K. doi:10.1016/j.aop.2005.10.005. ISSN 0003-4916. <a href="https://doi.org/10.1016%2Fj.aop.2005.10.005" target="_blank">https://doi.org/10.1016%2Fj.aop.2005.10.005</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Kong, Liang; Zhang, Zhi-Hao (2022-05-11). "An invitation to topological orders and category theory". arXiv:2205.05565 [cond-mat.str-el]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Turaev, Vladimir G. (1992). "Modular Categories and 3-Manifold Invariants". International Journal of Modern Physics B. 06 (11n12): 1807–1824. Bibcode:1992IJMPB...6.1807T. doi:10.1142/S0217979292000876. ISSN 0217-9792. <a href="/wiki/Bibcode_(identifier)" target="_blank">/wiki/Bibcode_(identifier)</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">Reshetikhin, N.; Turaev, V. G. (1991-12-01). "Invariants of 3-manifolds via link polynomials and quantum groups". Inventiones Mathematicae. 103 (1): 547–597. Bibcode:1991InMat.103..547R. doi:10.1007/BF01239527. ISSN 1432-1297. <a href="https://link.springer.com/article/10.1007/BF01239527" target="_blank">https://link.springer.com/article/10.1007/BF01239527</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
<li id="fn:22">Bartlett, Bruce; Douglas, Christopher L.; Schommer-Pries, Christopher J.; Vicary, Jamie (2015-09-22). "Modular categories as representations of the 3-dimensional bordism 2-category". arXiv:1509.06811 [math.AT]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></li>
<li id="fn:23">Moore, Gregory; Seiberg, Nathan (January 1989). "Classical and quantum conformal field theory". Communications in Mathematical Physics. 123 (2): 177–254. Bibcode:1989CMaPh.123..177M. doi:10.1007/BF01238857. ISSN 0010-3616. <a href="https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-123/issue-2/Classical-and-quantum-conformal-field-theory/cmp/1104178762.full" target="_blank">https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-123/issue-2/Classical-and-quantum-conformal-field-theory/cmp/1104178762.full</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></li>
<li id="fn:24">Moore, Gregory; Seiberg, Nathan (1988-10-06). "Polynomial equations for rational conformal field theories". Physics Letters B. 212 (4): 451–460. Bibcode:1988PhLB..212..451M. doi:10.1016/0370-2693(88)91796-0. ISSN 0370-2693. <a href="https://www.sciencedirect.com/science/article/abs/pii/0370269388917960" target="_blank">https://www.sciencedirect.com/science/article/abs/pii/0370269388917960</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></li>
<li id="fn:25">Moore, G; Seiberg, N (1989-09-01). Lectures on RCFT (Rational Conformal Field Theory) (Report). doi:10.2172/7038633. OSTI 7038633. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></li>
<li id="fn:26">Fuchs, Jürgen; Runkel, Ingo; Schweigert, Christoph (2002-12-16). "TFT construction of RCFT correlators I: partition functions". Nuclear Physics B. 646 (3): 353–497. arXiv:hep-th/0204148. Bibcode:2002NuPhB.646..353F. doi:10.1016/S0550-3213(02)00744-7. ISSN 0550-3213. <a href="https://www.sciencedirect.com/science/article/abs/pii/S0550321302007447" target="_blank">https://www.sciencedirect.com/science/article/abs/pii/S0550321302007447</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></li>
<li id="fn:27">Huang, Yi-Zhi (2005-04-12). "Vertex operator algebras, the Verlinde conjecture, and modular tensor categories". Proceedings of the National Academy of Sciences. 102 (15): 5352–5356. arXiv:math/0412261. Bibcode:2005PNAS..102.5352H. doi:10.1073/pnas.0409901102. PMC 556239. PMID 15809423. <a href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC556239" target="_blank">https://www.ncbi.nlm.nih.gov/pmc/articles/PMC556239</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></li>
<li id="fn:28">Huang, Yi-Zhi (1995). "Two-Dimensional Conformal Geometry and Vertex Operator Algebras". SpringerLink. doi:10.1007/978-1-4612-4276-5. ISBN 978-1-4612-8720-9. <a href="978-1-4612-8720-9" target="_blank">978-1-4612-8720-9</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></li>
<li id="fn:29">Huang, Yi-Zhi (2005-04-12). "Vertex operator algebras, the Verlinde conjecture, and modular tensor categories". Proceedings of the National Academy of Sciences. 102 (15): 5352–5356. arXiv:math/0412261. Bibcode:2005PNAS..102.5352H. doi:10.1073/pnas.0409901102. PMC 556239. PMID 15809423. <a href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC556239" target="_blank">https://www.ncbi.nlm.nih.gov/pmc/articles/PMC556239</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></li>
<li id="fn:30">Rowell, Eric; Stong, Richard; Wang, Zhenghan (2009-12-01). "On Classification of Modular Tensor Categories". Communications in Mathematical Physics. 292 (2): 343–389. arXiv:0712.1377. Bibcode:2009CMaPh.292..343R. doi:10.1007/s00220-009-0908-z. ISSN 1432-0916. <a href="https://link.springer.com/article/10.1007/s00220-009-0908-z" target="_blank">https://link.springer.com/article/10.1007/s00220-009-0908-z</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></li>
<li id="fn:31">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:31" class="footnote-back-ref">↩</a></li>
<li id="fn:32">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:32" class="footnote-back-ref">↩</a></li>
<li id="fn:33">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:33" class="footnote-back-ref">↩</a></li>
<li id="fn:34">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:34" class="footnote-back-ref">↩</a></li>
<li id="fn:35">Kitaev, A. Yu. (2003-01-01). "Fault-tolerant quantum computation by anyons". Annals of Physics. 303 (1): 2–30. arXiv:quant-ph/9707021. Bibcode:2003AnPhy.303....2K. doi:10.1016/S0003-4916(02)00018-0. ISSN 0003-4916. <a href="https://www.sciencedirect.com/science/article/abs/pii/S0003491602000180" target="_blank">https://www.sciencedirect.com/science/article/abs/pii/S0003491602000180</a> <a href="#fnref:35" class="footnote-back-ref">↩</a></li>
<li id="fn:36">Dijkgraaf, Robbert; Witten, Edward (1990-04-01). "Topological gauge theories and group cohomology". Communications in Mathematical Physics. 129 (2): 393–429. Bibcode:1990CMaPh.129..393D. doi:10.1007/BF02096988. ISSN 1432-0916. <a href="https://link.springer.com/article/10.1007/BF02096988" target="_blank">https://link.springer.com/article/10.1007/BF02096988</a> <a href="#fnref:36" class="footnote-back-ref">↩</a></li>
<li id="fn:37">Kitaev, A. Yu. (2003-01-01). "Fault-tolerant quantum computation by anyons". Annals of Physics. 303 (1): 2–30. arXiv:quant-ph/9707021. Bibcode:2003AnPhy.303....2K. doi:10.1016/S0003-4916(02)00018-0. ISSN 0003-4916. <a href="https://www.sciencedirect.com/science/article/abs/pii/S0003491602000180" target="_blank">https://www.sciencedirect.com/science/article/abs/pii/S0003491602000180</a> <a href="#fnref:37" class="footnote-back-ref">↩</a></li>
<li id="fn:38">Sawin, Stephen F. (December 2006). "Quantum groups at roots of unity and modularity". Journal of Knot Theory and Its Ramifications. 15 (10): 1245–1277. arXiv:math/0308281. doi:10.1142/S0218216506005160. ISSN 0218-2165. <a href="https://www.worldscientific.com/doi/abs/10.1142/S0218216506005160?srsltid=AfmBOoqMF8p1DMwyV18ncJdSZ_kuvCzTvcb-yXVVHowoYyIG-QcD9CJZ" target="_blank">https://www.worldscientific.com/doi/abs/10.1142/S0218216506005160?srsltid=AfmBOoqMF8p1DMwyV18ncJdSZ_kuvCzTvcb-yXVVHowoYyIG-QcD9CJZ</a> <a href="#fnref:38" class="footnote-back-ref">↩</a></li>
<li id="fn:39">Rowell, Eric C. (2005-03-11). "From Quantum Groups to Unitary Modular Tensor Categories". arXiv:math/0503226. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:39" class="footnote-back-ref">↩</a></li>
<li id="fn:40">Sawin, Stephen F. (December 2006). "Quantum groups at roots of unity and modularity". Journal of Knot Theory and Its Ramifications. 15 (10): 1245–1277. arXiv:math/0308281. doi:10.1142/S0218216506005160. ISSN 0218-2165. <a href="https://www.worldscientific.com/doi/abs/10.1142/S0218216506005160?srsltid=AfmBOoqMF8p1DMwyV18ncJdSZ_kuvCzTvcb-yXVVHowoYyIG-QcD9CJZ" target="_blank">https://www.worldscientific.com/doi/abs/10.1142/S0218216506005160?srsltid=AfmBOoqMF8p1DMwyV18ncJdSZ_kuvCzTvcb-yXVVHowoYyIG-QcD9CJZ</a> <a href="#fnref:40" class="footnote-back-ref">↩</a></li>
<li id="fn:41">Sawin, Stephen F. (December 2006). "Quantum groups at roots of unity and modularity". Journal of Knot Theory and Its Ramifications. 15 (10): 1245–1277. arXiv:math/0308281. doi:10.1142/S0218216506005160. ISSN 0218-2165. <a href="https://www.worldscientific.com/doi/abs/10.1142/S0218216506005160?srsltid=AfmBOoqMF8p1DMwyV18ncJdSZ_kuvCzTvcb-yXVVHowoYyIG-QcD9CJZ" target="_blank">https://www.worldscientific.com/doi/abs/10.1142/S0218216506005160?srsltid=AfmBOoqMF8p1DMwyV18ncJdSZ_kuvCzTvcb-yXVVHowoYyIG-QcD9CJZ</a> <a href="#fnref:41" class="footnote-back-ref">↩</a></li>
<li id="fn:42">Andersen, Jørgen Ellegaard; Ueno, Kenji (2015-08-01). "Construction of the Witten–Reshetikhin–Turaev TQFT from conformal field theory". Inventiones Mathematicae. 201 (2): 519–559. arXiv:1110.5027. Bibcode:2015InMat.201..519A. doi:10.1007/s00222-014-0555-7. ISSN 1432-1297. <a href="https://link.springer.com/article/10.1007/s00222-014-0555-7" target="_blank">https://link.springer.com/article/10.1007/s00222-014-0555-7</a> <a href="#fnref:42" class="footnote-back-ref">↩</a></li>
<li id="fn:43">Andersen, Jørgen Ellegaard; Ueno, Kenji (2015-08-01). "Construction of the Witten–Reshetikhin–Turaev TQFT from conformal field theory". Inventiones Mathematicae. 201 (2): 519–559. arXiv:1110.5027. Bibcode:2015InMat.201..519A. doi:10.1007/s00222-014-0555-7. ISSN 1432-1297. <a href="https://link.springer.com/article/10.1007/s00222-014-0555-7" target="_blank">https://link.springer.com/article/10.1007/s00222-014-0555-7</a> <a href="#fnref:43" class="footnote-back-ref">↩</a></li>
<li id="fn:44">Reshetikhin, N.; Turaev, V. G. (1991-12-01). "Invariants of 3-manifolds via link polynomials and quantum groups". Inventiones Mathematicae. 103 (1): 547–597. Bibcode:1991InMat.103..547R. doi:10.1007/BF01239527. ISSN 1432-1297. <a href="https://link.springer.com/article/10.1007/BF01239527" target="_blank">https://link.springer.com/article/10.1007/BF01239527</a> <a href="#fnref:44" class="footnote-back-ref">↩</a></li>
<li id="fn:45">Witten, Edward (1989-09-01). "Quantum field theory and the Jones polynomial". Communications in Mathematical Physics. 121 (3): 351–399. Bibcode:1989CMaPh.121..351W. doi:10.1007/BF01217730. ISSN 1432-0916. <a href="https://link.springer.com/article/10.1007/BF01217730" target="_blank">https://link.springer.com/article/10.1007/BF01217730</a> <a href="#fnref:45" class="footnote-back-ref">↩</a></li>
<li id="fn:46">Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Viktor (2015). Tensor Categories. American Mathematical Society. <a href="#fnref:46" class="footnote-back-ref">↩</a></li>
<li id="fn:47">Hayashi, Takahiro (1999-04-01). "A canonical Tannaka duality for finite seimisimple tensor categories". arXiv Mathematics e-prints: math/9904073. arXiv:math/9904073. Bibcode:1999math......4073H. <a href="https://ui.adsabs.harvard.edu/abs/1999math......4073H/abstract" target="_blank">https://ui.adsabs.harvard.edu/abs/1999math......4073H/abstract</a> <a href="#fnref:47" class="footnote-back-ref">↩</a></li>
<li id="fn:48">Lambe, Larry A.; Radford, David E. (1997), Lambe, Larry A.; Radford, David E. (eds.), "Quasitriangular Algebras, Bialgebras, Hopf Algebras and The Quantum Double", Introduction to the Quantum Yang-Baxter Equation and Quantum Groups: An Algebraic Approach, Boston, MA: Springer US, pp. 161–195, doi:10.1007/978-1-4615-4109-7_6, ISBN 978-1-4615-4109-7, retrieved 2025-02-21 <a href="978-1-4615-4109-7" target="_blank">978-1-4615-4109-7</a> <a href="#fnref:48" class="footnote-back-ref">↩</a></li>
<li id="fn:49">Reshetikhin, N.; Turaev, V. G. (1991-12-01). "Invariants of 3-manifolds via link polynomials and quantum groups". Inventiones Mathematicae. 103 (1): 547–597. Bibcode:1991InMat.103..547R. doi:10.1007/BF01239527. ISSN 1432-1297. <a href="https://link.springer.com/article/10.1007/BF01239527" target="_blank">https://link.springer.com/article/10.1007/BF01239527</a> <a href="#fnref:49" class="footnote-back-ref">↩</a></li>
<li id="fn:50">Lambe, Larry A.; Radford, David E. (1997), Lambe, Larry A.; Radford, David E. (eds.), "Quasitriangular Algebras, Bialgebras, Hopf Algebras and The Quantum Double", Introduction to the Quantum Yang-Baxter Equation and Quantum Groups: An Algebraic Approach, Boston, MA: Springer US, pp. 161–195, doi:10.1007/978-1-4615-4109-7_6, ISBN 978-1-4615-4109-7, retrieved 2025-02-21 <a href="978-1-4615-4109-7" target="_blank">978-1-4615-4109-7</a> <a href="#fnref:50" class="footnote-back-ref">↩</a></li>
<li id="fn:51">Cowtan, Alexander; Majid, Shahn (2022-04-18). "Quantum double aspects of surface code models". Journal of Mathematical Physics. 63 (4): 042202. arXiv:2107.04411. Bibcode:2022JMP....63d2202C. doi:10.1063/5.0063768. ISSN 0022-2488. <a href="https://pubs.aip.org/aip/jmp/article-abstract/63/4/042202/2842972/Quantum-double-aspects-of-surface-code-models?redirectedFrom=fulltext" target="_blank">https://pubs.aip.org/aip/jmp/article-abstract/63/4/042202/2842972/Quantum-double-aspects-of-surface-code-models?redirectedFrom=fulltext</a> <a href="#fnref:51" class="footnote-back-ref">↩</a></li>
<li id="fn:52">Ocneanu, A. (2016). "Chirality for operator algebras". S2CID 85464522. {{cite journal}}: Cite journal requires |journal= (help) <a href="/wiki/S2CID_(identifier)" target="_blank">/wiki/S2CID_(identifier)</a> <a href="#fnref:52" class="footnote-back-ref">↩</a></li>
<li id="fn:53">Müger, Michael (2003-05-01). "From subfactors to categories and topology I: Frobenius algebras in and Morita equivalence of tensor categories". Journal of Pure and Applied Algebra. 180 (1): 81–157. arXiv:math/0111204. doi:10.1016/S0022-4049(02)00247-5. ISSN 0022-4049. <a href="https://www.sciencedirect.com/science/article/pii/S0022404902002475" target="_blank">https://www.sciencedirect.com/science/article/pii/S0022404902002475</a> <a href="#fnref:53" class="footnote-back-ref">↩</a></li>
<li id="fn:54">Müger, Michael (2003-05-01). "From subfactors to categories and topology II: The quantum double of tensor categories and subfactors". Journal of Pure and Applied Algebra. 180 (1): 159–219. doi:10.1016/S0022-4049(02)00248-7. ISSN 0022-4049. <a href="https://www.sciencedirect.com/science/article/pii/S0022404902002487" target="_blank">https://www.sciencedirect.com/science/article/pii/S0022404902002487</a> <a href="#fnref:54" class="footnote-back-ref">↩</a></li>
<li id="fn:55">Ocneanu, A. (2016). "Chirality for operator algebras". S2CID 85464522. {{cite journal}}: Cite journal requires |journal= (help) <a href="/wiki/S2CID_(identifier)" target="_blank">/wiki/S2CID_(identifier)</a> <a href="#fnref:55" class="footnote-back-ref">↩</a></li>
<li id="fn:56">Müger, Michael (2003-05-01). "From subfactors to categories and topology I: Frobenius algebras in and Morita equivalence of tensor categories". Journal of Pure and Applied Algebra. 180 (1): 81–157. arXiv:math/0111204. doi:10.1016/S0022-4049(02)00247-5. ISSN 0022-4049. <a href="https://www.sciencedirect.com/science/article/pii/S0022404902002475" target="_blank">https://www.sciencedirect.com/science/article/pii/S0022404902002475</a> <a href="#fnref:56" class="footnote-back-ref">↩</a></li>
<li id="fn:57">Ocneanu, A. (2016). "Chirality for operator algebras". S2CID 85464522. {{cite journal}}: Cite journal requires |journal= (help) <a href="/wiki/S2CID_(identifier)" target="_blank">/wiki/S2CID_(identifier)</a> <a href="#fnref:57" class="footnote-back-ref">↩</a></li>
</ol>

Modular tensor category open-in-new

Modular tensor category