Domov > Obvestila > Andrej Bauer: Introduction to categorical logic II

Andrej Bauer: Introduction to categorical logic II

Datum objave: 6. 3. 2018
Vir: Seminar za osnove matematike in teoretičnega računalništva
Č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.