Logical Construction of Final Coalgebras
Category Theory
2007-05-23 v1 Logic
Abstract
We prove that every finitary polynomial endofunctor of a category has a final coalgebra if is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of coalgebras for such an endofunctor has all finite limits.
Cite
@article{arxiv.math/0403227,
title = {Logical Construction of Final Coalgebras},
author = {Luigi Santocanale},
journal= {arXiv preprint arXiv:math/0403227},
year = {2007}
}