Higher internal covers
Logic
2023-11-08 v2 Category Theory
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.
Cite
@article{arxiv.2210.02699,
title = {Higher internal covers},
author = {Moshe Kamensky},
journal= {arXiv preprint arXiv:2210.02699},
year = {2023}
}
Comments
32 pages, corrected version after comments from referee. To appear in "Model Theory"