摘要：基于Aczel和Mendler的定义，证明了类别的每一个自函子都是基于集合的，因此，它有一个最终的余代数。证明了这些自函子的其他基本性质，例如存在一个自由完全迭代理论。
作者：J.Adamek, S. Milius, J. Velebil
论文ID：cs/0306118
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中