Birkho s variety theorem for coalgebras

Assuming only boundedness of the type functor we give a syntactical description of coequations and we prove a coal gebraic version of Birkho s variety theorem

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

[2]  Horst Reichel,et al.  An approach to object semantics based on terminal co-algebras , 1995, Mathematical Structures in Computer Science.

[3]  H. Peter Gumm,et al.  Coalgebraic structure from weak limit preserving functors , 2000, CMCS.

[4]  H. Peter Gumm.  Equational and implicational classes of coalgebras , 2001, Theor. Comput. Sci..

[5]  H. Peter Gumm,et al.  Coalgebras Of Bounded Type , 2002, Math. Struct. Comput. Sci..