{{menu|Events|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.