Wiki. pro-对象 [pro-对象]

观念

范畴 $\mathcal C$ 的 pro-对象是其对象的形式余滤极限.

定义

范畴 $\mathcal C$ 的 pro-对象的范畴 $$ \mathsf{Pro}(\mathcal C) \hookrightarrow \mathsf{Fun}(\mathcal C,\mathsf{Set})^{\mathrm{op}} $$ 是可表函子在 $\mathsf{Fun}(\mathcal C,\mathsf{Set})^{\mathrm{op}}$ 中的余滤极限构成的全子范畴.

例

• pro-有限集
• pro-有限群

性质

态射的计算

由米田引理, 对于 $X\in\mathsf{Pro}(\mathcal C)$ (视为函子 $\mathcal C\to\mathsf{Set}$) 与 $c\in\mathcal C$, $$ \operatorname{Hom}_{\mathsf{Pro}(\mathcal C)}(X,\mathbf{y}(c))\simeq X(c). $$ 因此我们可以谈论 “$X$ 到 $c$ 的态射”, 也即 $X(c)$ 的元素.

由定义和 $\operatorname{Hom}$ 函子保持极限的性质, 可直接得到 pro-对象之间的态射的如下计算.

命题. 设 $X,Y\in\mathsf{Pro}(\mathcal C)$ 对应函子 $X,Y\colon \mathcal C\to\mathsf{Set}$. $$ \operatorname{Hom}_{\mathsf{Pro}(\mathcal C)}(X,Y) \simeq \operatorname{lim}_{Y \to d}\operatorname{colim}_{X\to c} \operatorname{Hom}(c,d). $$ 其中, $X\to c$ 表示的是 $X$ 到对象 $c\in\mathcal C$ 的 “态射”, 也即 $X(c)$ 的元素.

具体证明见预层页面 “态射的计算” 小节.

自由余滤完备化

范畴 $\mathcal C$ 的 pro-对象的范畴 $\mathsf{Pro}(\mathcal C)$ 可视为向 $\mathcal C$ 中自由地添加余滤极限的结果. 这体现为如下的结论.

命题. 设 $\mathcal C$ 为范畴, $\mathcal D$ 是具有余滤极限的范畴, 有全忠实嵌入 $i\colon \mathcal C\to\mathcal D$, 且 $i$ 的像落在余紧对象的子范畴中. 那么 $i$ 可沿 $\mathcal C\to\mathsf{Pro}(\mathcal C)$ 右 Kan 扩张成为全忠实嵌入 $i\colon \mathsf{Pro}(\mathcal C) \to \mathcal D$; 对于 pro-对象 $X\colon \mathcal C\to\mathsf{Set}$, $$ i(X) = \operatorname{lim}_{X\to c} i(c). $$

证明. 设 $X,Y\in\mathsf{Pro}(\mathcal C)$, $$ \begin{aligned} \operatorname{Hom}_{\mathsf{Pro}(\mathcal C)}(X,Y) &\simeq \operatorname{lim}_{Y\to d}\operatorname{colim}_{X\to c}\operatorname{Hom}_{\mathcal C}(c,d)\\ &\simeq \operatorname{lim}_{Y\to d}\operatorname{colim}_{X\to c}\operatorname{Hom}_{\mathcal D}(i(c),i(d))\\ &\simeq^* \operatorname{lim}_{Y\to d}\operatorname{Hom}_{\mathcal D}(\operatorname{lim}_{X\to c}i(c),i(d))\\ &\simeq \operatorname{Hom}_{\mathcal D}(\operatorname{lim}_{X\to c}i(c),\operatorname{lim}_{Y\to d}i(d))\\ &\simeq\operatorname{Hom}_{\mathcal D}(i(X),i(Y)). \end{aligned} $$ 其中标记为 $\simeq^*$ 的一步使用了 $i(d)$ 的余紧性. $\square$

上述命题的一个重要应用是将 pro-有限集与 pro-有限群视为紧 Hausdorff 空间, 因为有限离散空间是紧 Hausdorff 空间范畴 $\mathsf{CHaus}$ 中的余紧对象.