Reedy diagrams in V-model categories

DOI10.1007/S10485-019-09566-WMaRDI QIDQ2336053zbMATH OpenOpenAlexFDO

Publication date 18 November 2019

Published in Applied Categorical Structures (Search for Journal in Brave)

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

module over a symmetric monoidal model category Quillen model category Reedy model structure symmetric monoidal category

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monoidal categories, symmetric monoidal categories (18M05) Symmetric monoidal categories (19D23) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We study the category of Reedy diagrams in a

m m

-model category. Explicitly, we show that if K is a small category, V is a closed symmetric monoidal category and C is a closed V-module, then the diagram category V^K is a closed symmetric monoidal category and the diagram category C^K is a closed V^K-module. We then prove that if further K is a Reedy category, V is a monoidal model category and C is a V-model category, then with the Reedy model category structures, V^K is a monoidal model category and C^K

i s a

mm^K-model category provided that either the unit 1 of V is cofibrant or V is cofibrantly generated.

Review text

This paper combines the theories of enriched category theory and Reedy model structures to prove the following result: Let \(\mathscr{V}\) be a closed symmetric monoidal model category and \(K\) a Reedy category. Suppose that the unit of \(\mathscr{V}\) is cofibrant or that \(\mathscr{V}\) is cofibrantly generated. Then \(\mathscr{V}^K\) with the objectwise product and the Reedy model structure is a closed symmetric monoidal model category. Furthermore, if \(\mathscr{C}\) is a \(\mathscr{V}\)-model category, then \(\mathscr{C}^K\) is a \(\mathscr{V}^K\)-model category with the objectwise action and the Reedy model structure. This combines results of \textit{B. Day} [Lect. Notes Math. 137, 1--38 (1970; Zbl 0203.31402)] in the enriched category direction and of Reedy's PhD thesis in the model category direction. Moreover, it generalizes a result of \textit{C. Barwick} [Homology Homotopy Appl. 12, No. 2, 245--320 (2010; Zbl 1243.18025)] which had additional assumptions on the Reedy category \(K\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Reedy diagrams in V-model categories

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