Hello Cat Community, I am currently reading Bart Jaobs et. al presentation on the co-algebra concept: http://citeseer.ist.psu.edu/jacobs97tutorial.html http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf I would pointers to literature that is a more category theoretic presentation of co-algebras. Thank you, Vasili [For admin and other information see: http://www.mta.ca/~cat-dist/ ]