Introduction to coalgebra

Jiri Adamek

A survey of parts of General Coalgebra is presented with applications to the theory of systems. Stress is laid on terminal coalgebras and coinduction as well as iterative algebras and iterative theories.

2000 MSC: 08A70, 08C05, 93A30, 18A40, 18C20, 18C35

Theory and Applications of Categories, Vol. 14, 2005, No. 8, pp 157-199.

TAC Home