An introduction to category theory and categorical logic

Wolfgang Jeltsch

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.

Tarmo Uustalu
Last update 17.4.2012