Wiki. 余单子 [余单子]

定义

一个范畴 $\mathcal C$ 中的余单子 (comonad) 是 $\operatorname{End}(\mathcal C)$ 中的结合余代数.

注意. 余单子不是 $\mathcal C^{\text{op}}$ 中的单子.

例

性质

余单子与单纯对象

由于单纯形范畴 $\Delta$ 是 “一个对象生成的自由幺半范畴”, 任意幺半范畴 $M$ 中的幺半对象都对应着函子 $\Delta \to M$, 也即 $M^{\text{op}}$ 中的单纯集.