Stratified Univalence as an Internal Model of Malcev Theories
Abstract
We build a bridge between stratified univalence (a cumulative hierarchy of univalent universes equipped with a transfinite extension step) and the theory of Malcev $\infty$-theories in higher algebra. The guiding thesis is that stratified univalent foundations provide an internal environment in which Malcev theories, their truncations, and their deformation-theoretic Postnikov data can be expressed and manipulated synthetically.
Fields of Study & Subjects
Homotopy and Cohomology in Algebraic Topology
Logic
programming
and type systems
Advanced Algebra and Logic
Publication details
- Journal / source
- arXiv (Cornell University)
- Publication date
- 8 February 2026
- Language
- EN
- Document type
- Preprint