1 基本概念
模范畴是围绕某一环上的模及其同态构成的范畴。它将代数中“元素如何在线性结构下运算”与“结构之间如何映射”统一起来，使许多问题能够用范畴论语言表述。对于给定的环，模范畴通常记为该环上的左模范畴或右模范畴，研究对象包括模、模同态以及由它们形成的各种极限、余极限与正合结构。
1.1 模与模同态
模是环作用下的加法群。若环元素可以按分配律、结合律与单位元条件作用到一个阿贝尔群上，则称该阿贝尔群为该环上的模。模同态是保持加法并与环作用相容的映射，因此它既保留群结构，也保留标量作用结构。模同态是构成模范畴态射的基本对象。
1.2 左模、右模与双模
左模与右模的区别在于环元素作用在元素的左侧还是右侧。若一个对象同时带有左作用与右作用，并且两种作用彼此相容，则称为双模。双模常用于把两个环联系起来，尤其在张量积、伴随关系以及双边作用的研究中具有重要作用。
1.3 模范畴的定义
给定一个环，其左模构成一个范畴：对象是左模，态射是左模同态。右模范畴的定义完全类似，只是作用方向相反。模范畴中的复合由函数复合给出，恒等态射是每个模上的恒等映射。这样就把环上的代数结构组织成一个具有范畴性质的整体。
1.4 范畴中的对象与态射
在模范畴中，对象代表具体的模，态射代表它们之间的结构保持映射。通过研究态射的单射、满射、同构以及分裂性质，可以判断模之间的相对关系。对象之间不仅可以通过态射比较，还可以通过直和、商模、子模等构造联系起来。
1.5 零对象与零态射
零模在模范畴中既是始对象也是终对象，因此是零对象。任意两个模之间都存在唯一的零态射，它把所有元素映成零元。零对象与零态射为核、余核、正合列等概念提供了基础，也是模范畴具有加性结构的重要原因。
2 模范畴的基本结构
模范畴不仅是一个普通范畴，而且具有丰富的加性与阿贝尔结构。对象之间可进行加法，态射之间也可逐点相加，从而使许多构造呈现出线性特征。直和、直积、核、余核等概念在此范畴中都具有自然定义，并与正合性密切相关。
2.1 加法结构
模范畴的加法结构来自模本身的阿贝尔群结构。任意两个态射可以逐点相加，零态射作为加法单位元，逆态射则由取负给出。由于这种结构，模范畴通常是加性范畴，并进一步成为阿贝尔范畴的典型例子。
2.1.1 态射集上的阿贝尔群结构
对任意两个模，所有模同态组成的集合可自然成为一个阿贝尔群。加法通过对目标模中的元素逐点进行，单位元是零态射，逆元是映射取负后的同态。这个结构使态射之间的线性组合具有明确意义。
2.1.2 态射的加法运算
若有两个从同一模到另一模的同态，则它们的和仍是同态。该运算满足交换律与结合律，并与复合运算相容。正因为如此，模范畴中的很多证明可以借助“加法消去”或“分解为若干部分”的方式完成。
2.2 直和与直积
直和与直积是模范畴中最常见的组合构造。它们分别对应“有限或局部支撑的拼接”和“逐分量的并列”。在有限情形下，直和与直积往往一致；在无限情形下，两者差异明显，反映了“有限支持”和“任意分量”之间的区别。
2.2.1 有限直和
有限多个模的直和可视为它们的笛卡尔积，并配备逐分量运算。对有限指标集而言，直和与直积同构，因此常被统一处理。它满足普遍性质：从某个模到各分量的态射族，可以唯一地合并为到直和的一个态射。
2.2.2 无限直和与无限直积
无限直和由那些只有有限多个分量非零的元组成，而无限直积则允许所有分量同时取值。两者一般不相同。无限直和常用于构造自由模，而无限直积更偏向于处理逐点信息与极限性质。
2.3 核、余核与像
核、余核与像刻画了态射的失败程度：哪里失去信息，哪里需要“压缩”目标。它们是模范畴中研究单射、满射和正合性的核心工具。借助这些概念，可以把许多代数问题转化为关于子模与商模的分析。
2.3.1 核的定义与性质
给定一个模同态，其核是所有映到零元的元素所组成的子模。核衡量态射失去信息的部分，并具有普遍性质：任何被该态射送到零的映射都唯一经由核分解。核在模范畴中总是子模，并且与单射性直接相关。
2.3.2 余核的定义与性质
余核是将像“压成零”后得到的商模。具体地说，它是目标模除以像的商结构。余核也具有普遍性质，任何使原态射复合后为零的映射都可唯一经由余核分解。余核用于描述满射性不足以及商对象的构造。
2.3.3 正合性与短正合列
当一个序列中前一映射的像等于后一映射的核时，称该序列在相应位置正合。短正合列是最基本的正合序列形式，通常写作一个子模嵌入某模，再由该模映到商模。它概括了“子对象—整体—商对象”的关系，是模论与同调代数中的核心语言。
3 模范畴的典型对象
模范畴中的若干特殊对象在理论与应用中占据中心地位，包括自由模、投射模、内射模与平坦模。它们分别对应不同类型的“可表示性”“可提升性”“可延拓性”和“张量保持性”，在分解、构造与同调计算中尤为重要。
3.1 自由模
自由模是模理论中最接近向量空间的对象。它由一组基生成，基的元素之间不存在非平凡线性关系，因此可以把任意映射从基上唯一延拓到整个模。自由模常作为构造其他模的起点。
3.1.1 自由模的定义
若一个模同构于若干个环副本的直和，则称其为自由模。每个分量对应一个基元素，元素可唯一表示为有限线性组合。自由模满足一种典型普遍性质：从基到任意模的映射能够唯一延伸为模同态。
3.1.2 基与秩
自由模的基是生成整个模的一组元素，且该生成方式唯一。基的基数称为秩。对于有限秩自由模，秩在同构意义下是不变量；在一般情况下，秩反映了模的“大小”与复杂度。
3.2 投射模
投射模是具有良好提升性质的模。它们在正合列中表现稳定，常用于构造分辨率并定义导出函子。很多情况下，投射模可看作自由模的直接因子，因此兼具一定的灵活性与可分解性。
3.2.1 投射模的等价刻画
投射模可通过若干等价条件刻画，例如：对任意满射和任意映射，只要复合满足相容条件，就存在提升；或者它是某个自由模的直和因子。不同刻画方式从不同角度反映了投射性在范畴中的本质。
3.2.2 投射盖
投射盖是给定模的某种最小投射覆盖。它在研究模的结构时提供了一个尽可能紧的投射近似。投射盖并非总是存在，但在许多重要环上可构造，并能帮助分析模的分解与同调维数。
3.3 内射模
内射模与投射模对偶，强调映射的延拓性质。若一个模能够把定义在子模上的映射延拓到更大的模，则具有内射性。内射模在内射分辨率与上同调理论中扮演关键角色。
3.3.1 内射模的等价刻画
内射模也有多种等价描述，例如：它满足某种扩张性质，或者是具有特定嵌入可分裂性的对象。通过这些刻画，可以从范畴论、分解论和函数扩张三个层面理解内射性。
3.3.2 内射包
内射包是将一个模嵌入到尽可能小的内射模中的构造。它类似于“最小内射扩展”，为研究原模的上同调性质提供了便利。与投射盖类似，内射包也不是在所有情形下都容易存在，但在适当条件下是极为重要的工具。
3.4 平坦模
平坦模强调张量积运算对正合序列的保持能力。与投射模相比，平坦性更偏向于“不会扭曲信息”，因此常在代数几何、同调代数与交换代数中出现。平坦模的概念能够刻画张量积在模范畴中的良性行为。
3.4.1 平坦性的定义
若与任意短正合列做张量积后，所得序列仍保持正合，则称该模为平坦模。也可以用滤过直极限、局部条件或关系矩阵的性质来刻画。平坦性本质上是一种关于“无扭曲扩张”的条件。
3.4.2 与张量积的关系
平坦性正是通过张量积来定义和检验的。对于平坦模，张量函子在左正合意义下表现得更好，常能保留嵌入与关系结构。若一个模不平坦，则张量积可能破坏正合性，从而揭示出隐藏的代数障碍。
4 重要函子与构造
模范畴的许多核心现象都可以用函子来组织。忘却函子、自由函子、张量函子与 Hom 函子构成了最基本的一组工具，它们在对象之间传递信息，并揭示不同结构之间的伴随关系与正合性质。
4.1 忘却函子
忘却函子将带有额外结构的对象映到其底层集合或阿贝尔群，暂时“忘记”环作用。它用于把模范畴与集合范畴、阿贝尔群范畴联系起来，从而便于比较结构与直观理解对象的组成方式。
4.2 自由函子
自由函子与忘却函子常形成伴随对。它把一个集合或阿贝尔群送到由其生成的自由模。自由函子的存在说明，从“仅有元素而无关系”的数据出发，可以自然地构造出满足模公理的最小对象。
4.3 张量函子
张量函子把两个模组合成一个新的模，体现双线性运算的普遍化。张量积不仅是构造新对象的重要方法，也是定义平坦性、建立伴随、描述基变换的关键工具。
4.3.1 张量积的普遍性质
张量积由双线性映射的普遍性质刻画：任何双线性映射都唯一经过张量积因子化。这一定义赋予张量积高度的统一性，使其在不同环和不同模之间都能以同样形式出现。
4.3.2 张量积与正合性
张量函子一般保持余极限，但未必保持正合。它通常是右正合的，而是否左正合则与平坦性密切相关。正合性问题正是张量积在同调代数中最重要的应用入口之一。
4.4 Hom 函子
Hom 函子把两个模之间的同态集组织成新的模或阿贝尔群，反映“映射空间”的结构。它在描述对偶性、构造导出函子以及建立伴随关系时十分重要。
4.4.1 协变与逆变 Hom
Hom 函子可以在两个变量上分别表现为协变或逆变。固定一个变量后，对另一个变量的作用方向会决定其是协变还是逆变。由于这种双变量特性，Hom 函子在分类和变换结构时具有较强的灵活性。
4.4.2 张量-Hom 伴随
张量积与 Hom 之间存在经典伴随关系。粗略地说，从张量积出发的映射与进入 Hom 的映射可自然对应。这个伴随把“把两个输入合并”与“把一个输入看作参数”的两种观点联系起来，是现代代数中的基本机制之一。
5 同调代数中的应用
模范畴是同调代数展开的主要场所。导出函子、分辨率以及上同调、下同调都依赖于模范畴中的正合结构。通过这些工具，可以测量函子偏离正合的程度，并提取深层的代数不变量。
5.1 导出函子
导出函子用于记录一个函子在非正合情形下产生的“误差”。它们通常通过分辨率构造，从而把复杂问题分解为对投射或内射对象的计算。Ext 与 Tor 是最典型的导出函子。
5.1.1 Ext 函子
Ext 函子衡量某些扩张的分类信息，也可看作 Hom 函子的右导出。它在描述扩张、延拓与上同调群时极其重要。Ext 的不同阶数对应不同层次的障碍与分类数据。
5.1.2 Tor 函子
Tor 函子是张量积的左导出，反映张量积在正合性上的偏差。它常用于分析模之间的扭结、关系以及基变换下的变化。Tor 的消失与否往往揭示出平坦性等性质。
5.2 分辨率
分辨率是用一串较“好”的对象逼近一个目标模的过程。通过投射或内射对象构造分辨率，可以把难以直接计算的问题转化为可处理的链复形问题。
5.2.1 投射分辨率
投射分辨率是由投射模组成的正合序列，最终映到目标模。它用于计算右导出函子，例如 Ext，并且常作为同调维数和范畴性质的基础工具。
5.2.2 内射分辨率
内射分辨率是将目标模嵌入到一串内射模中的正合序列。它适合计算左侧问题的对偶形式，并常用于研究上同调群、扩张与延拓现象。
5.3 上同调与下同调的解释
在模范畴中，上同调和下同调可以理解为对正合性缺失的不同方向测量。上同调通常与 Hom、Ext 和内射分辨率相关，下同调则常与张量积、Tor 和投射分辨率相联系。两者共同构成同调代数的基础语言。
6 特殊类型的模范畴
在不同的环上，模范畴可能呈现出特殊性质，如半单性、Noether 性、Artin 性以及有限生成或有限呈示等条件。这些性质决定了模的分类难度、分解行为和可计算程度。
6.1 半单模范畴
半单模范畴中的对象可以完全分解为简单模的直和。这样的范畴结构最为整齐，许多正合与分解问题都会大幅简化。半单性是表示论和环论中极理想的一类情形。
6.1.1 半单模的分解性质
半单模可分解为若干简单模的直和，并且子模与商模的行为都相当规整。每个短正合列往往分裂，这意味着复杂对象可由较小部件完全拼装而成。
6.2 Noether 与 Artin 性质
Noether 与 Artin 性质分别从升链与降链的终止性刻画模的有限性。它们控制子模层次的复杂程度，是研究有限性条件时的基础概念。
6.2.1 Noether 模范畴
Noether 模通常指满足升链条件的模，即任意递增子模链最终稳定。这样的对象便于进行有限步分析，并常出现在有限生成的理论框架中。Noether 性使许多构造更容易控制。
6.2.2 Artin 模范畴
Artin 模满足降链条件，即递减子模链最终停止变化。它体现了对象内部结构在层级上的有限深度。Artin 性与 Noether 性在有限长度理论中常共同出现，但二者强调的链条件方向不同。
6.3 有限生成与有限呈示模
有限生成与有限呈示是衡量模复杂度的两种常用条件。前者关注生成元数量，后者进一步要求关系也可由有限数据描述。它们在构造、分类与计算中都十分常见。
6.3.1 有限生成模
若某模可由有限个元素生成，则称为有限生成模。它并不一定自由，但结构通常比一般模更易处理。有限生成性是许多有限性定理的起点。
6.3.2 有限呈示模
有限呈示模不仅要求由有限个生成元生成，还要求其关系由有限多条关系给出。换言之，它既有有限生成的“骨架”，又有有限描述的“约束”。这类模在代数几何与表示论中常被优先考虑。
7 相关理论与推广
模范畴的思想可以推广到更一般的结构中，也可以与函子范畴、阿贝尔范畴等理论相结合。通过这些推广，模的概念不再局限于环上的线性代数对象，而成为更广泛范畴结构中的原型。
7.1 环上的模范畴
不同环对应不同的模范畴，而环的性质往往在模范畴中得到反映。左模与右模虽然方向不同，但彼此之间通过对偶、反环和双模等工具可以联系起来。
7.1.1 左模范畴与右模范畴
左模范畴和右模范畴分别研究环在两侧的作用方式。虽然形式上相似，但在非交换环中它们可能呈现不同结构。许多构造需要明确区分左右，以避免作用方向带来的歧义。
7.2 函子范畴视角
从函子范畴的角度看，模可以视为某类表示或可加函子。这样一来，模范畴与其他范畴之间的关系便更清晰，许多代数现象也能用自然变换来描述。
7.2.1 自然变换与表示
自然变换是函子之间保持结构的一类映射。在模范畴的相关研究中，模的作用常可解释为某种表示，而模同态则对应表示之间的兼容映射。这个视角强化了“对象不是孤立存在，而是处在映射网络中”的思想。
7.3 阿贝尔范畴中的模对象
模范畴的许多性质并不只属于环上的模，也可以在更一般的阿贝尔范畴中找到类似结构。于是，“模对象”成为把代数方法推广到更抽象环境中的桥梁。
7.3.1 一般阿贝尔范畴中的类比结构
在一般阿贝尔范畴中，仍然可以讨论核、余核、正合列与导出函子等概念。虽然不一定来自具体环，但其形式与模范畴高度相似。正因如此，模范畴常被看作阿贝尔范畴理论的原型模型。