Andrej Bauer: An introduction to categorical logic

Datum objave: 20. 2. 2018
Seminar za temelje matematike in teoretično računalništvo
Č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.