Séminaire Logique mathématique ICJ
The groupoid-cover correspondence revisited.
par
→
Europe/Paris
Salle 112 Bât Braconnier
Salle 112 Bât Braconnier
Description
I will report on joint work with Levon Haykazyan elaborating on Hrushovski’s correspondence between internal covers and definable groupoids. We effect two improvements: a categorification that makes the correspondence into an equivalence, and an extension to the relative case of 1-analysable covers.