Speaker
Anuj Dawar, University of Cambridge
Title
Morphisms and Isomorphisms in Categories of Relational Structures
Abstract
The pebbling comonad was born of an attempt to understand the relationship between logical and combinatorial approximations of the relations of homomorphism and isomorphism that arise in finite model theory. The work that has flowed from this has illuminated many aspects of this relationship. In this talk, I will consider a few highlights and then focus on some questions in finite model theory that could benefit from this illumination.
Slides
Morphisms and Isomorphisms in Categories of Relational Structures
