Home > News > Andrej Bauer: An introduction to categorical logic

Andrej Bauer: An introduction to categorical logic

Date: 20. 2. 2018
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.