Coalgebras, Stone Duality, Modal Logic (2006)
by
Alexander Kurz
BibTeX
@MISC{Kurz06coalgebras,stone,
author = {Alexander Kurz},
title = {Coalgebras, Stone Duality, Modal Logic},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we
