@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.