We define and study a higher-dimensional version of model theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.
生成讲解博客的中文版本
生成AI智能校验的中文版本