Andrej Bauer: Introduction to categorical logic II

Datum objave: 6. 3. 2018
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 8. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21

Abstract: We will continue the tutorial on categorical logic. In the second part we will see that the universal and existential quantifiers are the right and the left adjoint to pullback, respectively.