Prefer a chat interface with context about you and your work?
Higher internal covers
We define and study a higher-dimensional version of model-theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.