nLab B1-homotopy theory

Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Analytic geometry

Contents

Idea

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

References

  • Joseph Ayoub, Motives of rigid varieties and

    the motivic nearby functor_, talk notes 2006 (pdf)

  • Joseph Ayoub, Motifs des variétés analytiques rigides (pdf)

  • Joseph Ayoub, Floian Ivorra and Julien Sebag, Motives of rigid analytic tubes and nearby motivic sheaves (pdf)

Last revised on June 11, 2014 at 07:12:11. See the history of this page for a list of all contributions to it.