# Contents

## Idea

$\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 $\mathbb{B}^1 \to *$, where $\mathbb{B}^1 \simeq Spm(k\{t\})$ is the Tate ball.

## References

Revised on May 28, 2013 00:59:06 by David Corfield (87.113.28.17)