范畴等价

"两个范畴本质上一样"通常不是严格的同构（$\mathcal{C}\cong\mathcal{D}$），而是等价：允许沿函子往返后只回到"同构的对象"而不必是同一个对象。这就像把"同一个东西的两种包装"视为相同——有限维向量空间范畴与矩阵范畴就是最经典的例子。

需先掌握函子、自然同构与全忠实函子。

定义

函子 $F:\mathcal{C}\to\mathcal{D}$ 是范畴等价，若存在函子 $G:\mathcal{D}\to\mathcal{C}$ 与自然同构 $\eta:\mathrm{id}_{\mathcal{C}}\Rightarrow G\circ F$、$\varepsilon:F\circ G\Rightarrow\mathrm{id}_{\mathcal{D}}$；此时称 $\mathcal{C}$ 与 $\mathcal{D}$ 等价，记 $\mathcal{C}\simeq\mathcal{D}$。

性质

• 判定：$F$ 是范畴等价 ⟺ $F$ 全忠实且本质满（后者：每个 $D\in\mathcal{D}$ 都同构于某个 $F(C)$；证明用到选择公理）
• 等价的范畴有相同的范畴论性质：极限存在性、函子范畴、可表性等都在等价下保持不变
• 等价比同构宽松：$\mathcal{C}\cong\mathcal{D}\Rightarrow\mathcal{C}\simeq\mathcal{D}$，反之不必然

例子

• 矩阵范畴 $\mathbf{Mat}(k)$（对象为自然数 $n$，态射 $n\to m$ 是 $m\times n$ 矩阵）与有限维 $k$-向量空间范畴等价：$n\mapsto k^n$ 全忠实且本质满
• 骨架：取每个同构类的一个代表对象构成的骨架（skeleton）全子范畴，包含函子 $\mathbf{Sk}(\mathcal{C})\hookrightarrow\mathcal{C}$ 是等价；任何范畴都等价于自己的骨架

应用

分类问题（如有限维表示论、拓扑空间的同伦分类）常表述为"某范畴等价于一个更小的已知范畴"；等价关系是"本质相同"的标准数学语言。