Adding inverses to diagrams II: Invertible homotopy theories are spaces

Julia E. Bergner

Homology, homotopy, and applications, Tome 10 (2008) no. 2, pp. 175-193.

Résumé

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk’s complete Segal space model structure on the category of simplicial spaces. Here, we show that these results still hold if we instead use groupoid or “invertible” cases. Namely, we show that model structures on the categories of simplicial groupoids, Segal pregroupoids, and invertible simplicial spaces are all Quillen equivalent to one another and to the standard model structure on the category of spaces. We prove this result using two different approaches to invertible complete Segal spaces and Segal groupoids.

Détail

DOI : 10.4310/HHA.2008.v10.n2.a9

Classification : 18E35, 18G30, 55U35
Keywords: homotopy theories, simplicial categories, simplicial groupoids, complete Segal spaces, Segal groupoids, model categories, (∞, 1)-categories and groupoids