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

DOI10.4310/HHA.2008.V10.N2.A9MaRDI QIDQ951432zbMATH OpenOpenAlexFDO

Authors Julie Bergner

Publication date 24 October 2008

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.2254, http://intlpress.com/hha/v10/n2/

zbMATH Keywords

model categorysimplicial categorysimplicial groupoid

Mathematics Subject Classification ID

Localization of categories, calculus of fractions (18E35) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: 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.

Review text

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.

Recommendations

• Three models for the homotopy theory of homotopy theories
• Homotopy Theories for Diagrams of Spaces
• Model categories with simple homotopy categories
• scientific article; zbMATH DE number 5219541
• A Survey of (∞, 1)-Categories

Cited in

(19)

• Multifunctorial inverse \(K\)-theory
• Categories with homotopy determine a closed model structure
• Bousfield-Segal spaces
• Categorical models for path spaces
• EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES
• A model category structure on the category of simplicial categories
• Complete Segal spaces arising from simplicial categories
• Erratum to ``Adding inverses to diagrams encoding algebraic structures and ``Adding inverses to diagrams II: Invertible homotopy theories are spaces
• scientific article; zbMATH DE number 937397 (Why is no real title available?)
• Principal -bundles: presentations
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• Higher Quasi-Categories vs Higher Rezk Spaces
• Induced model structures for higher categories
• Synthetic fibered (,1)-category theory
• Dimension and partial groups
• Partial groups as symmetric simplicial sets
• Many homotopy categories are homotopy categories
• Three models for the homotopy theory of homotopy theories
• Adding inverses to diagrams encoding algebraic structures

This page was built for publication: Adding inverses to diagrams. II: Invertible homotopy theories are spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q951432)