1 基本概念
模张量范畴是带有张量积、对偶结构与有限性条件的一类特殊范畴，通常要求其对象可分解、态射可控，并在辫结构下满足非退化性。它可以看作融合范畴进一步加入“模性”条件后的结果，因此兼具代数运算的灵活性与范畴论的统一表达能力。
这类范畴的核心任务，是把“对象之间如何相乘”“如何取对偶”“如何交换顺序”以及“交换是否足够非平凡”纳入同一套公理系统中。由于结构严密，模张量范畴常被用来编码低维拓扑、量子代数以及表示论中的深层信息。
1.1 定义
一般而言，模张量范畴可理解为满足若干标准条件的辫融合范畴：它是半单的、具有有限个简单对象、每个对象都有对偶，并且辫结构对应的 \(S\) 矩阵非退化。不同文献对定义的细节表述略有差异，但“融合性、刚性、辫性与模性”通常是共同核心。
在更宽泛的语境中，研究者也会先讨论预模范畴或辫融合范畴，再附加非退化条件得到模张量范畴。这样做的好处是能够按层次分析结构来源，而不必一开始就要求全部性质同时成立。
1.2 相关范畴结构
模张量范畴的基础来自范畴论中的张量结构。对象之间除了可以并列存在，还可以通过张量积组合，形成类似“乘法”的运算；同时，单位对象提供了这种运算的中性元。
范畴中的各类自然同构、双对偶和约化映射，保证了对象之间的组合方式既稳定又可追踪。正是这些结构，使模张量范畴能够在抽象层面模拟许多熟悉的代数系统。
1.2.1 张量积与单元对象
张量积把两个对象合成为一个新对象，类似于代数中的乘法，但其结果依赖于范畴结构而非数值运算。单元对象则在张量积下起到“什么也不改变”的作用，使得 \(X\otimes \mathbf{1}\) 与 \(X\) 之间存在自然同构。
在模张量范畴中，张量积通常要求与态射相容，即态射可以通过张量方式自然地延伸到复合对象上。这一要求保证了结构的整体协调性，也为后续的辫化和模变换奠定基础。
1.2.2 结合子与约化同构
由于张量积一般并不严格满足结合律，因此需要结合子来说明 \((X\otimes Y)\otimes Z\) 与 \(X\otimes (Y\otimes Z)\) 之间的自然同构。它不是简单的形式约定，而是整个理论中保持一致性的关键部件。
约化同构则用于描述某些对象在与单位对象或对偶对象结合时的简化关系。借助这些同构，复杂的张量表达可以在不改变本质信息的前提下进行重排和压缩。
1.3 模性条件
“模性”是模张量范畴区别于一般辫融合范畴的决定性特征。其直观含义是：对象之间的交换结构足够丰富，同时又不应存在过多“隐形”对象，以免范畴退化为更平凡的情形。
这一定义通常通过辫结构和 \(S\) 矩阵的非退化性来表达。二者共同确保范畴既能记录交换信息，又具有足够强的判别能力。
1.3.1 辫结构
辫结构提供了对象张量顺序交换的自然同构，即 \(X\otimes Y\) 可以通过一套可控的方式转为 \(Y\otimes X\)。它不同于普通交换律，因为交换本身携带额外的几何或代数信息。
辫结构的存在，使范畴能够刻画“绕行”或“编结”式的变换，这也是其在拓扑和物理中极具吸引力的原因之一。
1.3.2 S矩阵与非退化性
\(S\) 矩阵是模张量范畴中的重要模数据，通常由简单对象间的辫化与迹运算构成。它不仅是数值表征，也是判断范畴是否具有真正模性的关键工具。
非退化性意味着 \(S\) 矩阵可逆，或者等价地，范畴中不存在过多与所有对象都“看起来一样”的透明成分。若这一条件失败，范畴往往只能算作预模范畴或带有退化辫结构的融合范畴。
1.4 半单性与有限性
模张量范畴通常要求半单，即任意对象都能分解为简单对象的直和。与此同时，它还需满足有限性条件，例如简单对象数量有限、同态空间有限维等。
这些条件使理论既保持丰富性，又避免无限复杂度失控。半单性特别重要，因为它将许多计算问题转化为对简单对象及其融合规则的研究。
1.4.1 简单对象
简单对象是不能再分解为非平凡直和的基本对象，类似表示论中的不可约表示。它们构成范畴结构的“原子”，所有更复杂对象都可由它们拼接得到。
在模张量范畴中，简单对象的集合通常是有限的，并且会配合融合规则表述对象之间的张量分解方式。
1.4.2 有限长度分解
有限长度分解指任意对象都能通过有限步分解写成简单对象的组合。该性质保证了范畴中的对象不会出现无限层级的不可控嵌套。
这一点对于构造不变量和进行分类尤为重要，因为它使得大量结构问题可以归结为有限数据的计算。
2 发展背景
模张量范畴的形成并非一开始就作为独立概念出现，而是由融合范畴、量子群、结理论与拓扑场论等多个方向逐步汇合而成。其概念发展本质上是一种跨领域的统一化过程。
在这一过程中，代数中的表示论问题、拓扑中的编结现象以及物理中的准粒子交换行为，提供了彼此呼应的语言，最终促成了现代范畴化框架的成熟。
2.1 融合范畴的起源
融合范畴的思想来源于半单代数表示、群表示与算子代数中的有限分解现象。研究者希望抽象出一种只保留“可分解、可组合、可计算”特征的范畴结构。
随着对低维拓扑和量子对称性的兴趣增长，融合范畴逐渐从纯代数背景中独立出来，成为连接多个领域的基础结构。
2.2 量子群与表示论背景
量子群的表示理论为模张量范畴提供了最重要的来源之一。特别是在特殊参数取值时，量子群表示常出现有限化、截断化和半单化现象，这些都与模张量范畴的形成密切相关。
从表示论角度看，模张量范畴提供了比传统群表示更灵活的框架，能够容纳非交换、非平凡辫化以及量子维数等新元素。
2.3 低维拓扑中的动机
低维拓扑中常见的编结、结和三维流形问题，天然需要一种能记录“绕行方式”的代数结构。模张量范畴正好能够把这些几何操作转化为可计算的范畴数据。
这类动机使得模张量范畴不仅是抽象代数对象，也成为构造拓扑不变量的重要工具。
2.3.1 编结群表示
编结群描述线段编结在连续变形下的等价关系，而辫结构正与这种几何现象相互对应。模张量范畴中的对象交换同构可视作编结动作的代数化版本。
因此，编结群表示常通过辫范畴或模张量范畴来实现，使几何编结转化为线性代数和范畴运算。
2.3.2 结与三维流形不变量
借助模张量范畴，可以构造结多项式型不变量以及三维流形不变量。其基本思想是把拓扑对象的切割、拼接和手术操作编码为范畴中的组合规则。
这种方法的优势在于：复杂拓扑对象的等价分类问题，能够被转化为较为系统的代数计算。
3 核心性质
模张量范畴的核心性质主要体现为对偶、辫化、迹与非退化性。它们共同决定了范畴是否具有足够强的结构表达能力，以及能否服务于拓扑和物理中的应用。
这些性质并非彼此孤立，而是紧密耦合：对偶结构支持迹的定义，辫化与交换律相关，而非退化性则反映了整个结构的“可见度”。
3.1 对偶对象
对偶对象是模张量范畴中极其重要的概念。它们保证对象之间不仅可以组合，还能够在一定意义上“反向拆解”，从而建立类似双边可逆的代数行为。
对偶结构也使得很多数值量，如范畴迹和量子维数，能够被定义并具有良好性质。
3.1.1 左对偶与右对偶
左对偶和右对偶分别对应从左侧或右侧定义的伴随对象。虽然在具体公理上略有区别，但在良好条件下二者往往相互协调，甚至可以统一处理。
这种双向对偶关系使得范畴中的对象具备较强的平衡性，也为图形化演算提供了“拉直”和“翻转”的基础。
3.1.2 评估与内插映射
评估映射与内插映射构成对偶性公理的基本组成部分。评估映射把对象与其对偶“收缩”为单位对象，而内插映射则把单位对象“插入”为对象与对偶的组合。
二者配合时满足三角恒等式，保证对偶关系不是形式上的记号，而是具有实际可计算意义的结构。
3.2 辫化与交换律
辫化赋予张量积一种受控的交换方式，使对象顺序可以在同构意义下互换。与严格交换律相比，它更适合描述二维和三维中的绕行与编结现象。
在模张量范畴中，辫化不仅是装饰性的附加结构，而是连接 \(S\) 矩阵、中心化和拓扑应用的关键纽带。
3.2.1 自然同构
辫化由一族自然同构组成，针对每一对对象 \(X,Y\) 给出 \(X\otimes Y\) 到 \(Y\otimes X\) 的可逆映射。它们随对象变化而自然变化，因此具有良好的函子性。
这种自然同构使交换不再只是“结果相同”，而是“在可追踪的方式下相互转换”。
3.2.2 交换图表条件
为了保证辫化的一致性，需要满足若干交换图表条件，典型如六边形条件。它们确保不同的交换路径最终给出同一个结果。
这些图表条件是范畴论中最具代表性的约束之一，也是辫结构能够稳定工作的根本原因。
3.3 迹与维数
在模张量范畴中，迹与维数不再只是线性代数中的初等概念，而是被提升为范畴内部的结构量。它们与对偶、辫化和半单分解紧密相关。
通过这些量，可以定义对象的“大小”并建立更精细的分类和计算工具。
3.3.1 范畴迹
范畴迹是对态射的一种抽象追踪方式，类似于线性映射的迹，但依赖于对偶结构和张量闭包性质。它使得环路式图形可以被压缩成数值。
在图形化演算中，范畴迹常对应把闭合圈缩并为标量，从而把拓扑图转化为代数量。
3.3.2 量子维数
量子维数是对象在模张量范畴中的“有效维数”，通常由对偶与迹共同定义。它不一定等同于向量空间维数，但在许多半单情形下具有类似作用。
量子维数可用于刻画融合规模，并在不变量公式中充当权重因子。
3.4 非退化性
非退化性是模张量范畴最具决定性的性质之一。它表明范畴中不存在过多对所有对象都“无感”的成分，从而使辫结构真正具有信息量。
从理论上看，非退化性把模张量范畴与一般带辫的融合范畴区分开来；从应用上看，它是构造强不变量的重要前提。
3.4.1 Müger中心
Müger中心由那些与所有对象都可交换到同构意义下的对象组成。它衡量的是范畴中“完全透明”的部分有多少。
如果中心只有单位对象，则范畴在辫化意义上是非退化的，这也是模张量范畴常见的判据之一。
3.4.2 透明对象
透明对象指与任意对象交换时都不会产生实质差异的对象。它们在辫结构中相当于“看不见的元素”，会削弱范畴的判别能力。
在模张量范畴中，透明对象越少，结构通常越丰富；若透明对象过多，则往往意味着模性不足。
4 典型例子
模张量范畴并非纯粹抽象的构造，它在多种经典代数对象中都可出现。最常见的来源包括有限群表示、量子群表示以及仿射李代数相关的融合范畴。
这些例子不仅说明理论的普适性，也为理解其结构提供了具体参照。
4.1 有限群表示范畴
有限群表示范畴是模张量范畴研究中的基础参照系。虽然普通有限群表示范畴未必天然满足模性，但在适当变形或加以额外结构后，可得到相关的范畴模型。
这类例子有助于说明张量积、对偶和简单对象分解的基本运作方式。
4.1.1 变形与限制
通过改变基础域、引入附加辫化结构或考虑特殊分块，可以让有限群表示范畴呈现出更接近模张量范畴的特征。某些限制过程还可使范畴变得半单且有限。
不过，这类构造通常更适合作为启发性模型，而非最典型的模张量范畴来源。
4.1.2 交换与非交换情形
对于交换群，其表示理论相对简单，结构多由一维表示组成；而非交换群的表示则更丰富，融合规则更为复杂。两者都能说明对象张量分解的基本机制。
在更高层次上，这些情形帮助人们理解“交换性”与“辫化”之间的区别。
4.2 量子群表示范畴
量子群表示范畴是模张量范畴最重要的来源之一。它们在特殊参数下常出现有限化结构，并自然携带辫化、对偶和模数据。
这类范畴在现代数学物理中占据核心位置，也是许多显式模张量范畴的标准构造来源。
4.2.1 根单位下的情形
当量子参数取为根单位时，表示理论通常会出现显著变化，例如高权表示的截断和不可约分量的重新组织。此时可获得有限个简单对象的半单范畴。
这种情形尤其适合形成模张量范畴，因为它往往兼顾有限性与非平凡辫结构。
4.2.2 截断与半单化
在根单位参数附近，原始表示范畴可能并不直接半单，需要通过截断、商化或半单化处理提取出良性部分。经过这些步骤后，得到的范畴常具有模性。
这一过程在技术上较为精细，但在概念上可理解为“剔除病态部分，保留可计算核心”。
4.3 仿射李代数相关范畴
仿射李代数的表示理论与共形场论密切相关，其融合规则常可组织成模张量范畴。这里的对象通常来自某些层次受限的表示或积分表示。
这些范畴在模变换、角色函数和融合代数之间建立了深刻联系。
4.3.1 融合规则
仿射李代数相关范畴中的融合规则描述简单对象张量积后的分解方式。它们通常具有高度对称性，并与根系和权格结构相联系。
这些规则不仅可计算，而且常具有深刻的表示论意义。
4.3.2 角色与模变换
角色函数在模变换下的行为是这类范畴的重要特征之一。通过角色的 \(S\) 与 \(T\) 变换，可以提取出模数据并与范畴结构相互对应。
这也是仿射李代数范畴与二维共形场论关系密切的原因之一。
5 结构与构造
模张量范畴不仅可以作为对象直接研究，也可以通过多种构造方式从已有范畴生成。不同构造反映了“如何拼装出新范畴”的系统方法。
这些方法在分类、应用与例子生成中都十分关键。
5.1 Deligne积与直积构造
Deligne积可视为把两个张量范畴并列组合成一个更大的范畴。新范畴中的对象来自两边对象的配对，张量结构也相应按分量定义。
这类构造常用于把已知模张量范畴拼接成更复杂的实例，或者分析某些范畴是否可以分解为更基本的因子。
5.2 传递与降阶过程
在某些情况下，可以通过传递结构或进行降阶，把一个较大范畴中的结构“压缩”到更小、更可控的范畴中。此类过程常涉及商范畴、取中心化子或去除透明部分。
降阶的意义在于剥离冗余信息，留下真正决定模性的核心成分。
5.3 由Hopf代数导出的范畴
Hopf代数为模张量范畴提供了经典代数来源。其表示范畴天然带有张量结构，而在适当条件下还可继承辫化与对偶性质。
因此，Hopf代数常被视为从传统代数通向模张量范畴的重要桥梁。
5.3.1 余积与余乘法
余积定义了表示张量积如何与代数结构兼容，是Hopf代数存在张量表示理论的基础。余乘法的结合性确保了多重张量的组织方式一致。
没有这些余结构，就很难把代数表示自然地提升到范畴层次。
5.3.2 R矩阵与辫结构
当Hopf代数带有合适的 \(R\) 矩阵时，其表示范畴便获得辫结构。\(R\) 矩阵在本质上编码了对象交换时的“扭转”信息。
这一机制是量子群表示范畴能产生丰富编结现象的重要原因。
5.4 凝聚与中心化构造
中心化与凝聚过程常用于从带辫或预模结构中抽取模张量范畴。它们强调把冗余交换关系整合起来，以获得更完整的非退化结构。
这类构造在理论上十分精细，但在很多分类和应用问题中不可或缺。
5.4.1 Drinfeld中心
Drinfeld中心由那些与范畴中所有对象都带有一致交换数据的对象组成。它通常天然带有辫结构，且在许多情形下具有重要的模性特征。
因此，Drinfeld中心是构造和理解模张量范畴的关键工具。
5.4.2 预模范畴到模张量范畴
预模范畴已经具备辫化和对偶等结构，但可能存在退化中心。通过去除透明对象或进行适当商化，可将其提升或修正为模张量范畴。
这一转化过程体现了“从带缺陷的辫结构走向非退化结构”的标准路线。
6 分类与不变量
模张量范畴的分类问题极具挑战性，尤其在低秩情形下仍需要大量计算与结构分析。与此同时，模数据和融合规则也为判断范畴等价、区分不同实例提供了有效工具。
分类与不变量相互配合：前者追求结构整体，后者提供可比较的标记。
6.1 低秩分类问题
低秩分类关注简单对象数量较少的模张量范畴。由于对象种类有限，理论上更适合做完全分类，但实际仍然涉及复杂的组合与代数约束。
这类问题常是验证一般理论和发现新范畴实例的试验场。
6.2 模数据
模数据是模张量范畴的核心数值编码，通常由 \(S\) 矩阵和 \(T\) 矩阵组成。它们在许多情况下能够反映范畴的辫化、扭转与模变换行为。
模数据不仅用于分类，也用于构造拓扑不变量和验证一致性。
6.2.1 S矩阵
\(S\) 矩阵记录简单对象之间的双重辫化与迹信息，常被视为范畴最重要的代数标签之一。其可逆性与非退化性密切相关。
通过 \(S\) 矩阵，可以比较不同范畴的模结构是否相近。
6.2.2 T矩阵
\(T\) 矩阵通常记录对象的扭转或自同构信息，与范畴中的旋转、全纯性和模变换有关。它与 \(S\) 矩阵一起构成模表示的重要部分。
在很多情形中，\(S\) 与 \(T\) 共同满足一套与模群相关的关系式。
6.3 融合规则环
融合规则环把简单对象的张量分解浓缩成代数环结构。它是研究范畴的一种“去范畴化”表达方式，能够把复杂对象关系转化为结构常数。
这一环结构在分类、计算与同构判定中都非常有用。
6.3.1 Grothendieck环
Grothendieck环由范畴对象的同构类生成，直和对应加法，张量积对应乘法。它是衡量范畴融合行为的标准代数对象。
在半单情形下，Grothendieck环几乎可以看作对象分解规律的简化版本。
6.3.2 指标与结构常数
结构常数描述简单对象张量后分解到各简单对象的系数。指标则提供对象在环中的某种量化特征，例如与维数或扭转相关的标记。
这两类数据常被一起使用，以分析范畴的融合模式。
6.4 Witt群与等价关系
Witt群用于组织模张量范畴之间的某种稳定等价关系。它把在中心化或去除可忽略结构后表现相同的范畴归为同一类。
这一视角强调的不是逐点同构，而是更高层次的“模结构等价”。
6.4.1 范畴等价
范畴等价是判断两个模张量范畴是否本质相同的基本标准。如果存在保持张量、辫化与相关结构的等价函子，则二者可视为同一类对象。
在分类问题中，寻找这种等价往往比逐元素比较更有意义。
6.4.2 Witt等价类
Witt等价类将若干在中心化意义下可相互抵消的范畴归并在一起。它使某些复杂范畴关系获得群化表达。
这一概念在研究范畴的稳定性质及其叠加规律时尤为重要。
7 应用
模张量范畴在拓扑、编结理论、量子物理和共形场论中都有广泛应用。其优势在于能够把几何变形、交换行为和代数计算统一到一个框架中。
这些应用既展示了理论的解释力，也推动了模张量范畴本身的发展。
7.1 拓扑量子场论
模张量范畴是构造三维拓扑量子场论的重要代数基础之一。它们能够为曲面、三维流形和切割拼接操作提供一致的赋值规则。
因此，在拓扑量子场论中，范畴结构常直接转化为物理量或拓扑不变量。
7.1.1 三维TQFT
三维TQFT通常通过模张量范畴产生，其核心思想是把边界、手柄和拼接过程编码成范畴中的张量与迹运算。这样的理论往往对流形的拓扑类型敏感。
模张量范畴提供了构造此类理论的标准输入。
7.1.2 手术不变量
利用模张量范畴，可以在流形手术过程中保持不变量不变，从而定义三维流形的手术不变量。此类不变量在区分不同流形时非常有效。
其计算通常依赖于模数据和融合规则的精确配合。
7.2 编结与结理论
编结和结理论中的许多不变量都可由模张量范畴导出。辫结构与图形化演算使得结的变形和等价分类可被代数化处理。
这使得模张量范畴成为现代结理论的重要语言之一。
7.2.1 编结表示
编结表示将编结群元映射为范畴中的自同构或线性变换，从而把几何绕行转为代数操作。通过这种方式，可以分析编结的稳定特征。
在实际计算中，辫化自然同构起着核心作用。
7.2.2 HOMFLY与相关不变量
HOMFLY类不变量及其变体常与量子群表示和模张量范畴相关联。它们通过对编结图施加局部关系，得到对结的多项式型刻画。
这些不变量在低维拓扑中广为使用，也体现了范畴方法的统一性。
7.3 物理中的任意子模型
在二维或准二维物理系统中，任意子的交换行为常表现出非平凡辫统计。模张量范畴为这类交换规律提供了自然的数学模型。
因此，它们被广泛用于描述拓扑序、准粒子融合与交换过程。
7.3.1 交换统计
任意子不满足普通玻色或费米统计，而呈现辫化交换特征。模张量范畴中的对象交换同构正好对应这种统计结构。
这使得其成为理解非常规交换现象的标准工具之一。
7.3.2 拓扑量子计算
某些拓扑量子计算方案依赖任意子的编结与融合来实现信息处理。模张量范畴可用来抽象描述这些编结门操作与容错机制。
这种联系使范畴理论在量子信息中具有实际建模价值。
7.4 共形场论联系
模张量范畴与二维共形场论之间存在深刻对应关系，尤其体现在融合、角色和模变换上。很多共形场论中的代数数据都可被范畴化表述。
这类联系使其不仅是纯数学结构，也成为物理理论的组织语言。
7.4.1 融合代数
共形场论中的场算子融合可抽象成模张量范畴中的张量分解。融合代数则以更代数化的方式记录这种组合规律。
范畴语言能够更系统地处理这些融合关系，并揭示其中的对称性。
7.4.2 全纯场论背景
在全纯场论框架下，角色函数和模变换往往表现出强约束结构，与模张量范畴的 \(S\) 矩阵、\(T\) 矩阵密切对应。
因此，模张量范畴常被视为理解全纯理论中离散结构的有力工具。
8 研究方法
模张量范畴的研究既依赖抽象公理，也依赖具体计算。不同方法之间互补：公理化用于建立理论框架，图形化用于直观推导，代数化用于执行计算，计算机辅助则用于规模较大的枚举与验证。
这些方法共同推动了该领域从概念形成走向系统分类。
8.1 范畴论公理化方法
公理化方法强调先明确张量、对偶、辫化和模性等公理，再在此基础上推导性质。它的优势是清晰、统一，并便于比较不同构造。
这种方法特别适合发现“哪些性质是必需的，哪些只是派生的”。
8.2 图形化演算
图形化演算把范畴中的态射、张量和辫化用图像方式表示，直观对应串图、纽结和连线操作。它极大降低了复杂公式的阅读门槛。
在模张量范畴研究中，图形化方法几乎已成为标准语言之一。
8.2.1 串图语言
串图语言以线段和节点表示对象与态射，通过连线、分叉和交叉表达组合关系。许多抽象恒等式可直接转化为图形同伦或变形。
这种语言尤其适合说明对偶、迹与辫化之间的关系。
8.2.2 纽结图与滑动变换
纽结图把编结和闭合回路纳入范畴化表达，通过滑动变换体现等价变形。对于处理流形手术和编结不变量，这种图形法非常自然。
滑动变换常对应代数中的恒等式，能够简化复杂计算。
8.3 代数化计算
代数化计算侧重于用结构常数、矩阵和模变换公式进行明确运算。它在判断范畴是否满足某些条件时尤为有效。
这类方法通常与图形化演算相互验证，形成理论与计算的双重支撑。
8.3.1 结构常数求解
结构常数求解是从融合规则出发，计算简单对象张量积的分解系数。它能直接反映范畴的组合模式。
在分类任务中，这些常数常是最先被确定的数据之一。
8.3.2 模变换验证
模变换验证用于检查 \(S\) 与 \(T\) 矩阵是否满足预期关系，从而判断模数据是否一致。若验证通过，通常意味着范畴具有良好的模结构。
这一步对于从候选数据中筛选有效范畴非常关键。
8.4 计算机辅助分类
随着数据规模增加，计算机在模张量范畴分类中发挥了越来越大的作用。它可以枚举候选结构、检验恒等式并筛选可能实例。
这种辅助方式尤其适合低秩分类和模数据检验。
8.4.1 数据库与枚举
研究者常建立候选范畴、融合规则或模数据的数据库，以便进行系统比较。枚举方法则帮助在有限条件下穷尽可能的结构组合。
这类工具提升了分类研究的覆盖率和可靠性。
8.4.2 算法判定
算法判定用于检查某个候选结构是否满足半单性、非退化性或模关系。随着算法优化，越来越多复杂问题能够在可接受时间内完成初步筛查。
不过，最终的理论确认通常仍需数学证明配合。
9 相关概念
模张量范畴与多种范畴结构密切相关，其中许多概念可视为其前置条件、变体或来源。理解这些相关概念，有助于把握该领域的整体脉络。
9.1 融合范畴
融合范畴是模张量范畴的基础层级，通常具备半单性、有限简单对象和良好张量分解性质，但未必具有辫化或模性。它为后续加入交换结构提供了代数底座。
9.2 辫范畴
辫范畴强调对象张量顺序的可交换性，并通过辫化自然同构描述这种交换。模张量范畴可以看作带有额外非退化条件的特殊辫融合范畴。
9.3 刚性范畴
刚性范畴要求每个对象都有对偶，从而能够定义评估、内插和迹等结构。它是模张量范畴得以进行双向张量分析的重要前提。
9.4 预模范畴
预模范畴通常已经具有辫结构、对偶和有限性，但仍可能存在退化中心。通过进一步去除透明部分或加强非退化条件，才可能得到真正的模张量范畴。
9.5 量子群范畴
量子群范畴是由量子群表示理论生成的一类范畴，常带有丰富的辫化和模数据。它们是模张量范畴的重要来源，也为其在拓扑和物理中的应用提供了经典模型。