Home > News > Andrej Bauer: Introduction to categorical logic II

Andrej Bauer: Introduction to categorical logic II

Date: 6. 3. 2018
Source: Mathematics and theoretical computing seminar
ńĆ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.