Recent developments in categorical model theory

Abstract: We give an overview of the foundations of the still-emerging field of categorical model theory, which synthesizes ideas and methods drawn from accessible categories, abstract model theory, and set theory. We discuss the fundamental nexus of interaction---a very slight generalization of abstract elementary classes (AECs)---and sketch a few recent results. In particular, we consider: -Connections between compact cardinals, tameness of Galois types, and the closure of images of accessible functors (joint work with Will Boney). -Stable independence on an abstract category, with surprising connections to homotopy theory (joint work with Jiří Rosický and Sebastien Vasey).

category theorylogic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic