# Category Theory

A series of two courses I taught intermittently between 2005 and 2013,
as an optional part of the bachelor and master study programs in Logic
at Charles University in Prague,
Faculty of Philosophy and Arts:

## Category theory from the point of view of logic

An introductory course in category theory for logicians
I taught in 2005, 2007, 2009, and 2013.
Besides basic categorial notions and constructions,
the syllabus included
examples of categories occurring in logic and
the basics of the metamathematics of category theory.

- A handout
on the motivation of the notion of category (PDF in Czech, used in 2013)

## Logic from the point of view of category theory

A follow-up course in category theory for logicians,
which I taught in 2008 and 2010.
The course focused on
the categorial reconstruction of central notions of formal logic
and categorial foundations of mathematics.
The syllabus included:
Cartesian-closed categories,
elementary topoi and their inner logic,
Lawvere's axiomatization of the category of sets, and
McLarty's axiomatization of the category of categories.