Higher internal covers
arXiv:2210.02699 · doi:10.2140/mt.2023.2.449
Abstract
We define and study a higher-dimensional version of model theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.
32 pages, corrected version after comments from referee. To appear in "Model Theory"