En cours de chargement...
Contrairement à ce que son titre suggère Pursuing Stacks (ou du moins la partie du projet que Grothendieck a réalisée et qui devait s'intituler The Modelizing Story ou Histoire de Modèles) n'est pas consacré à la poursuite des champs, qui n'occupe que les treize premières sections ainsi que partiellement les sections 15-21 et 27. De plus, il s'agit surtout de ?-champs sur le point, autrement dit, des ?-groupoïdes faibles, les seules réflexions sur de ?-champs sur un topos arbitraire, comme coefficients naturels pour une cohomologie non abélienne, étant purement heuristiques.
Le reste des cent quarante sections traite de la théorie de l'homotopie : recherche de modèles pour les types d'homotopie (et plus particulièrement de petites catégories dont la catégorie des préfaisceaux modélise canoniquement les types d'homotopie) : les catégories test, structures homotopiques, structures de contractibilité et d'asphéricité, abélianisation et schématisation des types d'homotopie.
Grothendieck pensait revenir ultérieurement sur la question des ?-champs sur un topos et développer, dans un ou deux volumes supplémentaires, ce qu'il avait esquissé dans ses lettres à Breen (lettres qu'il a intégrées dans Pursuing Stacks comme appendice), mais il ne l'a jamais fait. Néanmoins, la recherche des modèles pour les types d'homotopie n'est pas sans rapport avec les ?-champs, puisque d'après "l'hypothèse d'homotopie", conjecture fondamentale de Grothendieck, les ?-groupoides faibles doivent modéliser les types d'homotopie.
