Model Theory Working Seminar

Moshe Kamensky, Ben-Gurion University

"Higher internal covers"

In model theory, internality is a relationship between definable sets that entails the existence of a definable Galois group, with definable Galois correspondence. It can be formulated as an equivalence between certain expansion of a theory T (internal covers) and groupoids definable in that theory. I will describe a partial generalisation of this correspondence to higher dimensions.