论文信息 - Coalgebras Of Bounded Type

Coalgebras Of Bounded Type

We use some results of Trnkova 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.

H. Peter Gumm | Tobias Schröder

[1] Věra Trnková,et al. Some properties of set functors , 1969 .

[2] H. Peter Gumm,et al. Covarieties and Complete Covarieties , 1998, CMCS.

[3] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[4] H. Gumm. Functors for Coalgebras , 2001 .

[5] Jiří Adámek,et al. From Varieties of Algebras to Covarieties of Coalgebras , 2001, CMCS.

[6] Michael Barr,et al. Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory" , 1994, Theor. Comput. Sci..

[7] Michael Barr,et al. Terminal Coalgebras in Well-Founded Set Theory , 1993, Theor. Comput. Sci..

[8] James Worrell,et al. Terminal sequences for accessible endofunctors , 1999, CMCS.

[9] H. Gumm. Elements Of The General Theory Of Coalgebras , 1999 .

[10] H. Peter Gumm,et al. Products of coalgebras , 2001 .