1 基本定义
恒等态射是范畴论中最基础的结构之一。它描述的是某个对象到其自身的态射，并在复合运算中表现为“保持不变”的单位元素。作为范畴公理的一部分，恒等态射保证了态射复合具有良好的代数性质。
1.1 范畴中的态射
在范畴中，对象之间通过态射联系起来。态射可以理解为某种抽象映射、箭头或过程，用来描述对象之间的结构保持关系。与具体数学分支中的函数、同态、线性映射等类似，态射是范畴论讨论的基本对象。
态射通常可以进行复合：若存在从对象 \(A\) 到对象 \(B\) 的态射，以及从 \(B\) 到 \(C\) 的态射，则它们可复合得到从 \(A\) 到 \(C\) 的态射。这种复合运算构成了范畴结构的核心。
1.2 恒等态射的定义
对于任意对象 \(A\)，恒等态射是一个从 \(A\) 到 \(A\) 的态射，通常记作 \(\mathrm{id}_A\) 或 \(1_A\)。它的作用是在与其他态射复合时不改变原有态射。
如果 \(f: A \to B\) 是一个态射，则恒等态射满足 \[ \mathrm{id}_B \circ f = f,\qquad f \circ \mathrm{id}_A = f. \] 这表明它在复合中扮演单位元的角色。
1.3 记号与表示方式
恒等态射在不同文献与学科中常有不同写法，但含义基本一致。最常见的是 \(\mathrm{id}_A\)、\(id_A\) 或简写为 \(1_A\)。在强调范畴结构时，通常会将对象下标保留，以避免与其他对象的恒等态射混淆。
1.3.1 常见符号
最常见的记号包括：
- \(\mathrm{id}_A\)：对象 \(A\) 上的恒等态射
- \(1_A\)：同样表示对象 \(A\) 的恒等态射
- \(id\)：在上下文明确时可省略下标使用
这些记号在本质上没有差别，只是排版和语境偏好不同。
1.3.2 图示表达
在图示中，恒等态射常画成对象 \(A\) 上的一条回环箭头，即从 \(A\) 指向 \(A\) 的箭头。若使用交换图表示，它通常不改变任何路径的复合结果，因此在图中往往作为“可省略”的箭头出现。
2 基本性质
恒等态射的性质主要体现在其作为单位元的功能上。它既保证了复合的可操作性，也体现了范畴结构的内在一致性。
2.1 左右单位律
恒等态射最重要的性质是左右单位律。对于任意可复合的态射 \(f: A \to B\)，都有 \[ \mathrm{id}_B \circ f = f,\qquad f \circ \mathrm{id}_A = f. \] 这意味着无论将恒等态射放在复合的左边还是右边，结果都不会改变。
2.2 唯一性
在一个范畴中，每个对象的恒等态射是唯一的。也就是说，若某个态射同时满足左右单位律，那么它必然就是该对象的恒等态射。
这一唯一性保证了恒等态射不是任意选取的，而是由范畴的复合结构所强制决定的。
2.3 与复合运算的关系
恒等态射之所以重要，根本原因在于它与复合运算紧密结合，共同构成了范畴的代数框架。
2.3.1 与同一对象态射的复合
当态射本身就是对象到自身的映射时，恒等态射依然保持中性作用。对于自同态 \(f: A \to A\)，有 \[ \mathrm{id}_A \circ f = f,\qquad f \circ \mathrm{id}_A = f. \] 因此，恒等态射不会改变任何可复合的结果。
2.3.2 与幺半群单位元的类比
恒等态射常被比作幺半群中的单位元。两者都满足“与任意元素结合时不改变对象本身”的性质。不同之处在于，幺半群讨论的是单一集合上的二元运算，而范畴中的恒等态射则是对对象之间箭头复合的抽象化表达。
3 在范畴论中的作用
恒等态射不是附属细节，而是范畴定义不可缺少的组成部分。它使得范畴的对象与态射之间形成完整而稳定的结构。
3.1 范畴定义中的必要条件
一个范畴不仅要有对象和态射，还必须为每个对象指定一个恒等态射，并且要求复合满足结合律和单位律。若缺少恒等态射，范畴的基本公理就不完整，许多后续概念也无法正常建立。
3.2 对象与自同态
恒等态射体现了对象自身的“静止状态”或“原样保持”关系。它属于对象到自身的态射，因此与自同态密切相关。不过，恒等态射是最特殊的自同态，因为它在复合中不引入任何变化。
3.3 在态射分类中的地位
在态射的各种分类中，恒等态射通常被视为最基础的特例。它既是所有态射复合的参照点，也是判断某些结构是否具备单位性质的重要标准。许多概念，如同构、函子保持结构等，都要以恒等态射为基础来表述。
4 相关概念
恒等态射与范畴论中的多个核心概念相互关联。理解这些概念，有助于更全面地把握其意义。
4.1 自同态
自同态是从对象到其自身的态射。恒等态射正是最典型、最基础的自同态。并非所有自同态都等于恒等态射，但恒等态射在其中具有标准化的地位。
4.2 同构与逆态射
同构是可逆态射。若 \(f: A \to B\) 存在逆态射 \(g: B \to A\)，使得 \[ g \circ f = \mathrm{id}_A,\qquad f \circ g = \mathrm{id}_B, \] 则 \(f\) 是同构。由此可见，恒等态射正是逆态射定义中的目标结果。
4.3 终对象与始对象
终对象和始对象是范畴中具有特殊普遍性质的对象。它们各自都对应唯一的恒等态射，但更重要的是，任意对象到终对象、或始对象到任意对象的态射通常具有唯一性。恒等态射在这些结构中提供了与对象自身一致的标准参照。
4.4 幺半群与单位元
幺半群中的单位元与恒等态射在形式上相当接近。二者都体现“复合不变”的核心思想，因此幺半群常被视为只有一个对象的范畴的特例。这个类比帮助人们从代数角度理解恒等态射的作用。
5 例子
恒等态射不仅是抽象定义，也广泛出现于具体数学结构中。不同范畴中的表现形式虽有差异，但都遵循相同的单位律。
5.1 集合范畴中的恒等函数
在集合范畴中，对任意集合 \(X\)，恒等态射就是恒等函数 \[ \mathrm{id}_X(x)=x. \] 它把集合中的每个元素映射到自身，因此不会改变任何元素的位置或值。
5.2 群范畴中的恒等同态
在群范畴中，对任意群 \(G\)，恒等态射是恒等同态，即把每个群元素送回自身的群同态。它显然保持乘法结构，并且在与其他群同态复合时不产生额外影响。
5.3 向量空间范畴中的恒等线性映射
在线性代数对应的范畴中，向量空间 \(V\) 的恒等态射是恒等线性映射 \[ \mathrm{id}_V(v)=v. \] 它保持向量不变，也保持线性结构不变，是研究线性变换时最基本的参照映射。
5.4 偏序集视角下的恒等关系
把偏序集看作范畴时，对象是元素，若 \(a \leq b\) 则存在唯一态射 \(a \to b\)。此时每个元素 \(a\) 的恒等态射对应于 \(a \leq a\) 这一自反关系。它反映了偏序关系的最基本自反性。
6 扩展理解
恒等态射的思想并不局限于范畴论本身，它在多个数学与计算领域都有对应形式。
6.1 在抽象代数中的对应物
在群、环、幺半群等代数结构中，单位元承担了类似角色。它与运算结合时不改变结果，因此常被视为“恒等”的代数版本。恒等态射则把这一思想提升到对象与映射层面。
6.2 在计算机科学中的类比
在计算机科学中，恒等态射可类比为恒等函数，即输入什么就返回什么的函数。它常用于函数式编程、类型系统和程序组合中，作为不改变数据的基本构件。某些抽象编程结构还会把它当作组合系统中的中性元。
6.3 在逻辑系统中的形式化表达
在逻辑与形式系统中，恒等态射可对应于“自映射保持不变”的规则或证明对象的恒等变换。它体现了形式推理中的稳定性与可组合性，是构造更复杂推理过程时的基础元素之一。