Séminaire Logique mathématique ICJ

The groupoid-cover correspondence revisited.

par Rahim Moosa (University of Waterloo)

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.