TL;DR
This paper introduces a higher-dimensional extension of model theoretic internality and explores its connection to higher-dimensional definable groupoids within the base theory.
Contribution
It presents a novel higher-dimensional framework for internality and links it to the theory of definable groupoids, expanding the scope of model theory.
Findings
Established a higher-dimensional notion of internality
Connected higher internality to definable groupoids
Extended model theoretic concepts to higher dimensions
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Homotopy and Cohomology in Algebraic Topology · Computability, Logic, AI Algorithms