Logic seminar: Giacomo Tendas
Dates: | 17 April 2024 |
Times: | 15:15 - 16:30 |
What is it: | Seminar |
Organiser: | Department of Mathematics |
Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|
Title: Theories, sketches, and accessible categories.
Abstract: In this talk I will give an overview on the relationship between Logic, the theory of Sketches (whose notion sits between logic and category theory) and that of Accessible Categories (a purely category theoretic notion). In particular, we will see that a category is (equivalent to) the category of models of (specific kind of) first order theory iff it is the category of models of a sketch, iff it is an accessible category. We will also see how different fragments of logic correspond to different types of sketches, and to certain completeness conditions on the corresponding accessible categories. At the very end I will mention how this relates to my research in the context of enriched category theory.
Travel and Contact Information
Find event
Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester