Kurt Gödel Research Center

Miniworkshop June 2012

Internality in model theory and category theory

Talk given by M.Kamenski

Abstract

I will explain the model theoretic notion of internality, which provides conditions for the automorphism group of a structure over a reduct to be definable (in the original structure). I will then explain how the assumptions can be stated in a general categorical framework, and state a weak version of the main theorem, that holds in the categorical setting.