Mathematical logic seminar - August 25, 2009

Time: 12:00 - 13:20

Room: Doherty Hall 4303

Speaker:     Krzysztof Kapulkin   
University of Warsaw

Title: Coalgebras and their logics


Coalgebras for an endofunctor T can be seen as a generalisation of transition systems. Since coalgebras are dual to algebras and the logic of algebras is equational logic, one can ask: what, then, is coalgebraic logic? A successful approach to study these structures comes from Stone duality. In my talk I would like to present some results concerning this approach and sketch some open problems related to it.