Bart Jacobs
Institute for Computing and Information Sciences
Radboud Universiteit Nijmegen
The Netherlands
Introduction to coalgebra
Abstract
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.
Course materials
- B. Jacobs. Introduction to coalgebra. Slides. [pdf]
- B. Jacobs. Introduction to Coalgebra: Towards Mathematics of States and Observations. Book draft, 2005. [pdf]
Last changed
April 8, 2011 13:55 EET
by
local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page:
//cs.ioc.ee/ewscs/2011/