The Theory and Practice of Reedy Categories
نویسندگان
چکیده
The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of useful technical results, which are well known to folklore but di cult to nd in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Speci cally, we reduce the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. The general theory is developed in parallel with examples, which we use to prove that familiar formulae for homotopy limits and colimits indeed have the desired properties.
منابع مشابه
Inductive Presentations of Generalized Reedy Categories
This note explores the algebraic perspective on the notion of generalized Reedy category introduced by Berger and Moerdijk [BM08]. The aim is to unify inductive arguments by means of a canonical presentation of the hom bifunctor as a “generalized cell complex.” This is analogous to the weighted (co)limits approach to strict Reedy category theory presented in [RV14], which inspired this work. Th...
متن کاملCellular Presentations of Generalized Reedy Categories
This work in progress explores the algebraic perspective on the notion of generalized Reedy category introduced by Berger and Moerdijk [BM08]. The aim is to unify inductive arguments by means of a canonical presentation of the hom bifunctor as a “generalized cell complex.” This is analogous to the weighted (co)limits approach to ordinary Reedy category theory taken in [RV13], which inspired thi...
متن کاملReedy Categories and Their Generalizations
We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of “bigluing” model structures along a pair of functors and a natural transformation. This yields a new explanation of the definition of Reedy categories: they are almost exactly those small categories for which the category of diagrams and its model structure can be constructed by itera...
متن کاملOn Modified Reedy and Modified Projective Model Structures
Variations on the notions of Reedy model structures and projective model structures on categories of diagrams in a model category are introduced. These allow one to choose only a subset of the entries when defining weak equivalences, or to use different model categories at different entries of the diagrams. As a result, a bisimplicial model category that can be used to recover the algebraic K-t...
متن کاملFunctors between Reedy Model Categories of Diagrams
If D is a Reedy category and M is a model category, the category M of D-diagrams in M is a model category under the Reedy model category structure. If C → D is a Reedy functor between Reedy categories, then there is an induced functor of diagram categories M → M. Our main result is a characterization of the Reedy functors C → D that induce right or left Quillen functors M → M for every model ca...
متن کامل