BibTeX
@MISC{Gumm_coalgebrasof,
author = {H. Peter Gumm and Tobias Schröder},
title = {Coalgebras of Bounded Type},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Using results of Trnkov'a, we first show that subcoalgebras are always closed under finite intersections. Assuming that the type functor F is bounded, we obtain a concrete representation of the terminal F -coalgebra. Several equivalent characterizations of boundedness are provided.
Citations
| 117 | Terminal coalgebras in well-founded set theory - Barr - 1993 |
| 86 | Handbook of Categorical Algebra 1: Basic Category Theory - Borceux - 1994 |
