Author: nLab edit announcer Format: MarkdownItexstarting article on A1-cohesive homotopy type theory, where an affine line $\mathbb{A}^1$ is used instead of $\mathbb{R}$ in real-cohesive homotopy type theory, and where the shape modality is $\mathbb{A}^1$-localization rather than $\mathbb{R}$-localization.
Anonymous
<a href="https://ncatlab.org/nlab/revision/A1-cohesive+homotopy+type+theory/1">v1</a>, <a href="https://ncatlab.org/nlab/show/A1-cohesive+homotopy+type+theory">current</a>
starting article on A1-cohesive homotopy type theory, where an affine line is used instead of in real-cohesive homotopy type theory, and where the shape modality is -localization rather than -localization.
Author: Urs Format: MarkdownItexIn the section on motivic HoTT ([here](https://ncatlab.org/nlab/show/A1-cohesive+homotopy+type+theory#MotivicHomotopyTypeTheory)) I have
* directly linked to Mitchell's thesis
* added the word "parameterized" to "stable homotopy theory"
<a href="https://ncatlab.org/nlab/revision/diff/A1-cohesive+homotopy+type+theory/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/A1-cohesive+homotopy+type+theory/3">v3</a>, <a href="https://ncatlab.org/nlab/show/A1-cohesive+homotopy+type+theory">current</a>