Introduction to coalgebra
Coalgebra has emerged as a fruitful formalism for generically describing state-based systems in terms of transitions and observations. This course will give an introduction to the area, building on a basic level of familiarity with category theory. The course will cover elementary notions like bisimilarity, invariance, finality, and will also cover parts of coalgebraic logic.
Students without any familiarity with category theory are advised to prepare a bit for this course by studying a basic text like: S. Awodey, Category Theory, v. 49 of Oxford Logic Guides, Oxford University Press, 2006.
- B. Jacobs. Introduction to coalgebra. Slides. [pdf]
- B. Jacobs. Introduction to Coalgebra: Towards Mathematics of States and Observations. Book draft, 2005. [pdf]
April 8, 2011 13:55 EET
local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page: http://cs.ioc.ee/ewscs/2011/