观念
许多代数结构可理解为某个单子上的代数. 这种结构构成的范畴到基础范畴有一个遗忘函子, 我们称这个函子为单子性函子 (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}$ 上是单子性的.
自反子范畴
自反子范畴的嵌入 $\mathcal D\hookrightarrow\mathcal C$ 是单子性的.
下降
许多下降现象表述为单子性.