Internality and higher internality

I will provide an overview of the model theoretic notions of internality and internal covers, and their relation to definable groupoids. I will then indicate a generalization of these notions to higher homotopical dimension