Homology, Homotopy and Applications

Volume 10 (2008)

Number 2

Adding inverses to diagrams II: Invertible homotopy theories are spaces

Pages: 175 – 193

DOI: https://dx.doi.org/10.4310/HHA.2008.v10.n2.a9


Julia E. Bergner (Department of Mathematics, University of California at Riverside)


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.


homotopy theories, simplicial categories, simplicial groupoids, complete Segal spaces, Segal groupoids, model categories, (∞, 1)-categories and groupoids

2010 Mathematics Subject Classification

18E35, 18G30, 55U35

Published 1 January 2008

An erratum to this article is available as HHA 14(1) pp. 287-291.