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

DOI10.4310/HHA.2008.V10.N2.A9zbMATH Open1155.55006arXiv0710.2254OpenAlexW2962867547MaRDI QIDQ951432FDOQ951432

Authors: Julie Bergner 

Publication date: 24 October 2008

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

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.

Full work available at URL: https://arxiv.org/abs/0710.2254

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

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)

Cited In (17)

• Title not available (Why is that?)
• Complete Segal spaces arising from simplicial categories
• Multifunctorial inverse \(K\)-theory
• A model category structure on the category of simplicial categories
• EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES
• Erratum to ``Adding inverses to diagrams encoding algebraic structures and ``Adding inverses to diagrams II: Invertible homotopy theories are spaces
• Categorical models for path spaces
• Induced model structures for higher categories
• Principal \(\infty\)-bundles: presentations
• Bousfield-Segal spaces
• Higher Quasi-Categories vs Higher Rezk Spaces
• Categories with homotopy determine a closed model structure
• Title not available (Why is that?)
• Many homotopy categories are homotopy categories
• Adding inverses to diagrams encoding algebraic structures
• Synthetic fibered \((\infty,1)\)-category theory
• Three models for the homotopy theory of homotopy theories

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)