关于代数上的余代数
摘要：用于上升律起源的函子的代数的Eilenberg-Moore范畴将Barr对一个$Set$-endo函子的最终余代数的描述扩展为该其初始代数的完成形式。作为一个应用，我们引入了关于单子$\mathbf{M}$的终式代数的成对交换函子的概念，并展示在合理假设下，其中一个涉及的函子的最终余代数可以通过另一个函子的初始代数生成的自由代数获得。
作者：Adriana Balan and Alexander Kurz
论文ID：1005.0938
分类：Category Theory
分类简称：math.CT
提交时间：2010-05-07