pith. sign in

L ocalization in Homotopy Type Theory

· 2018 · arXiv 1807.04155

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
read on arXiv browse 1 citing papers

fields

math.LO 1

years

2019 1

verdicts

UNVERDICTED 1

clear filters

representative citing papers

Classifying Types

math.LO · 2019-06-22 · unverdicted · novelty 5.0

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.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • Classifying Types math.LO · 2019-06-22 · unverdicted · none · ref 13

    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.