目录

想法

A类联合布拉格或余模超过余单子 $C类$在上类别 $A类$是一个对象 $a中的\$用一个态射 $a至C a$令人满意的公理 形式上双重的为了一个单子上的代数余代数的范畴称为its（co-）Eilenberg-Moore类别并满足与Eilenberg-Moore对象对于单子；因此，它可以内化为任何2类. The健忘函子从余代数范畴到范畴$A类$称为共鸣函子类似地，一个comonad也有一个co-Kleisli类别.

示例

• 情态！（当然）在线性逻辑是由一个余子函数及其余代数（也是余子函数）建模的，它允许我们在范畴逻辑中对直觉公式建模

• 偏微分方程是的余代数喷气式comonad（参见那里)

• 行为良好透镜（计算机科学）是沿岸共鸣曲（参见那里)

相关概念

• comonad上余代数的拓扑

• 内函子上的余代数

• 余交换余代数

工具书类

一些介绍性材料共聚单体,余代数和co-Kleisli态射可以在中找到

• 瓦莱丽亚·德佩瓦,辩证法范畴，第2章。(博士论文)

• 保罗·佩罗内,用基础数学中的例子说明范畴理论，第5章。(arXiv公司)

打开模型类别-结构关于comonad上的余代数：

• 凯瑟琳·赫斯,布鲁克·希普利,余弦上余代数的同伦理论《伦敦数学学会会刊》1082 (2014) [arXiv:1205.3979,doi:10.1112/plms/pdt038]