Wiki. 单子性函子 [单子性函子]

观念

许多代数结构可理解为某个单子上的代数. 这种结构构成的范畴到基础范畴有一个遗忘函子, 我们称这个函子为单子性函子 (monadic functor).

定义

设 $G \colon \mathcal D \to \mathcal C$ 为函子, 若有 $\mathcal C$ 上的单子 $A$, 使得 $G$ 等价于遗忘函子 $\mathsf{Alg}_A(\mathcal C) \to \mathcal C$, 则称之为单子性函子.

性质

单子性函子 $G$ 有左伴随 $F$, 即单子 $A$ 的 “自由代数” 函子 $X\mapsto AX$.

定理. $G\colon \mathcal D\to\mathcal C$ 为单子性函子当且仅当 $G$ 保守, 且创生 $G$-分裂单纯对象的几何实现.

例

一个出人意料的例子: 紧 Hausdorff 空间的范畴 $\mathsf{CHaus}$ 在集合范畴 $\mathsf{Set}$ 上是单子性的.

下降

许多下降现象表述为单子性.