Wiki. pro-可表函子 [pro-可表函子]

定义

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

当然, pro-可表函子 $\mathcal C\to\mathsf{Set}$ 也是 $\mathsf{Fun}(\mathcal C,\mathsf{Set})$ 中可表函子的滤余极限.