16th Estonian Winter School in Computer Science (EWSCS)
XVI Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 27 -March 4, 2011

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

Valid CSS! Valid XHTML 1.0 Strict Last changed April 8, 2011 13:55 EET by local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page: http://cs.ioc.ee/ewscs/2011/