Scifaro

中文

关于基于类的协代数

计算机科学中的逻辑 2007-05-23 v1

作者: J. Adamek , S. Milius , J. Velebil

在 arXiv 上查看 ↗ PDF ↗

摘要

证明了范畴中每个端函子都符合Aczel和Mendler的集合基准，因此具有最终协代数。此外，证明了这些端函子的其他基本性质，例如完全迭代理论的自由对象的存在。

关键词

协代数最终协代数端函子完全迭代理论类的范畴

引用

@article{arxiv.cs/0306118,
  title  = {On coalgebra based on classes},
  author = {J. Adamek and S. Milius and J. Velebil},
  journal= {arXiv preprint arXiv:cs/0306118},
  year   = {2007}
}