Adding inverses to diagrams. II: Invertible homotopy theories are spaces (Q951432)

There are four known models for homotopy theories: simplicial categories, Segal categories, complete Segal spaces and quasi-categories. There are corresponding model category structures for each. The four were shown to be Quillen equivalent to each other, see [\textit{J. E. Bergner}, Topology 46, No.~4, 397--436 (2007; Zbl 1119.55010)] and [\textit{A. Joyal} and \textit{M. Tierney}, Categories in algebra, geometry and mathematical physics. Conference and workshop in honor of Ross Street's 60th birthday, Sydney and Canberra, Australia, July 11--16/July 18--21, 2005. Providence, RI: American Mathematical Society (AMS). Contemporary Mathematics 431, 277--326 (2007; Zbl 1138.55016)]. In this paper is shown that these results still hold if groupoid or ``invertible'' cases are used instead. The author proves 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.