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.
Calculating the fundamental group of the circle in homotopy type theory
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.