## An introduction to category theory and categorical logic

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