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.
http://www.tac.mta.ca/tac/volumes/14/8/14-08.dvi
http://www.tac.mta.ca/tac/volumes/14/8/14-08.ps
http://www.tac.mta.ca/tac/volumes/14/8/14-08.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/14/8/14-08.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/14/8/14-08.ps