Wiki. “余单子” [余单子]SimplicialCat 定义 一个范畴 $\mathsf C$ 中的余单子 (comonad) 是 $\mathsf C^{\text{op}}$ 中的单子. 例 性质 余单子与单纯对象 由于单纯形范畴 $\Delta$ 是 “一个对象生成的自由幺半范畴”, 任意幺半范畴 $M$ 中的幺半对象都对应着函子 $\Delta \to M$, 也即 $M^{\text{op}}$ 中的单纯集.