Coalgebras of bounded type
Coalgebras of bounded type
We use some results of Trnková to show first 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. We also provide several equivalent characterizations of boundedness.