The diagonal of a multicosimplicial object (Q684112)

The author shows 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. The author also shows that, although the diagonal functor is a Quillen functor, it is not a Quillen equivalence for multicosimplicial spaces (the proof is done for the model categories of simplicial sets and topological spaces). The author also discusses total objects and homotopy limits of multicosimplicial objects. He shows 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.