University of Birmingham > Talks@bham > Cargo > Makkai's conceptual completeness and Lurie's generalization to infinity-pretopoi

## Makkai's conceptual completeness and Lurie's generalization to infinity-pretopoiAdd to your list(s) Download to your calendar using vCal - Sina
- Thursday 22 February 2018, 10:00-12:00
- 245, School of Computer Science.
If you have a question about this talk, please contact Sina.
In the first hour I am going to review the basics: construction of syntactic categories, obtaining internal language as a left adjoint to syntactic construction, coherent categories, category of models, and Morita equivalence of theories. I particularly aim to give examples of the latter; for instance I will show why the theory of posets in which every element is less than a maximal element is not Morita equivalent to any coherent or in fact a geometric theory. For the second hour of the talk, I will introduce Booleanization construction , and use if to characterize all Boolean coherent categories. This characterization will avail us in deducing Gödel’s completeness theorems from Deligne’s completeness theorems. One of the main point I want to hammer home in all this is that while in the case of locales, the points of a locale (aka models of corresponding propositional theory) form a topological space, in the case of coherent categories and pretoposes they form categories with very nice structures.
- Makkai, M. & Reyes, G. (1977), ‘First order categorical logic’, Lecture Notes in Math. 611. Springer, Berlin .
- Lurie, J. (2018), ‘Spectral algebraic geometry (under construction!)’. http://math.harvard.edu/~lurie/papers/SAG-rootfile.pdf
- Johnstone, P. (2002), ‘Sketches of an elephant: A topos theory compendium’, Oxford Logic Guides Vol.1(no.44, Oxford University Press).
This talk is part of the Cargo series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other lists'Roles' Postgraduate Gender and Sexuality Network Discussion IMA West Midlands Branch BritGrav 15## Other talksMachine Learning and Dynamical Systems meet in Reproducing Kernel Hilbert Spaces School Seminar From 2nd to 3rd generation GW detectors The imprint of their explosions: Using supernova remnants to understand stellar death |