Institute of Cybernetics at TUT
Thursday, 19 April 2012, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Thursday, 26 April 2012, 14:00
Cybernetica Bldg, room B126
Slides from the talk [pdf]
Abstract: Category theory is an abstract mathematical theory that has many applications in mathematics, computer science, logic, and physics. This talk is a crash course that introduces some of the basics of category theory and its use in logic. No previous knowledge of category theory is assumed.