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.