Abstract: We show that the functor that takes a multicosimplicial object in a model category to its diagonal cosimplicial object is a right Quillen functor. This implies that the diagonal of a Reedy fibrant multicosimplicial object is a Reedy fibrant cosimplicial object, which has applications to the calculus of functors. We also show that, although the diagonal functor is a Quillen functor, it is not a Quillen equivalence for multicosimplicial spaces. We also discuss total objects and homotopy limits of multicosimplicial objects. We show that the total object of a multicosimplicial object is isomorphic to the total object of the diagonal, and that the diagonal embedding of the cosimplicial indexing category into the multicosimplicial indexing category is homotopy left cofinal, which implies that the homotopy limits are weakly equivalent if the multicosimplicial object is at least objectwise fibrant.
Recommendations
Cites work
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 3399453 (Why is no real title available?)
- Convergence of the Homology Spectral Sequence of a Cosimplicial Space
- Fibrewise completion and unstable Adams spectral sequences
- Homotopy limits, completions and localizations
This page was built for publication: The diagonal of a multicosimplicial object
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684112)