A. Kurz, B. Jacobs, P.J. Scott, Ruttenの教科書
カーツが練習問題などが付いた教科書風論説を書いている。
- Title: Coalgebras, Stone Duality, Modal Logic (26th June 2006)
- Author: Alexander Kurz
- URL: http://www.cogsci.uni-osnabrueck.de/CL/conferences/ESSLLI2006/courses/Kurz.CoalgebrasStoneDualityModalLogic.pdf
- 110ページ
バート・ヤコブスは次の本を出版予定。現在、ドラフトがダウンロード可能。
- Title: Introduction to Coalgebra -- Towards Mathematics of States and Observations
- Author: B. Jacobs,
- URL: http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf
- 2upで81ページ
教科書的なものといえば:
- Title: Some Aspects of Categories in Computer Science (1998)
- Author: P.J. Scott
- URL: http://linear.di.fc.ul.pt/handbook.ps
- 71ページ
- Title: Universal Coalgebra: a Theory of Systems (1996)
- Author: J.J.M.M. Rutten
- URL: http://citeseer.ist.psu.edu/rutten96universal.html
- 57ページ