Real Homotopy Theory of Semi-Algebraic Sets

http://jp.arxiv.org/abs/0806.0476
motivation は，
Lambrechts-Volic, Formality of the little d-discs operad
http://palmer.wellesley.edu/~ivolic/pages/papers.html
これを o-minimal に拡張したいと考えるのは自然だろう．
いずれにせよ，Grothendieck がその重要性を主張した "topologie modérée (tame topology)" が動き出しているようだ．