nLab
B1-homotopy theory

Idea

${𝔹}^1$-homotopy theory is the study of the localization of an (∞,1)-sheaf (∞,1)-category over a site of analytic spaces at morphisms ${𝔹}^1\to *$, where ${𝔹}^1\simeq \mathrm{Spm}(k\{t\})$ is the Tate ball.

Related concepts

• A1-homotopy theory

References

• Joseph Ayoub, Motives of rigid varieties and the motivic nearby functor (pdf)