The thesis advances the development of synthetic homotopy theory within homotopy type theory, covering classifying types and internal questions not necessarily tied to classical homotopy.
Reflective subc ategories, localizations and factorization systems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Classifying Types
The thesis advances the development of synthetic homotopy theory within homotopy type theory, covering classifying types and internal questions not necessarily tied to classical homotopy.