# Andrej Bauer: An introduction to categorical logic

Date: 20. 2. 2018

Source: Mathematics and theoretical computing seminar

Source: Mathematics and theoretical computing seminar

Četrtek, 22. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21

**Abstract:**This will be a short tutorial on categorical logic. We shall explain how basic notions in logic, such as connectives and quantifiers, can be seen as universal constructions in category theory. We will also touch on the question of what categorical structure corresponds to the notion of logic.