On coalgebra based on classes
计算机科学中的逻辑
2007-05-23 v1
摘要
Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely iterative theory.
引用
@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}
}