The theory and practice of Reedy categories

Abstract

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 difficult to find in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Specifically, 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.

44 pages; exposition improved based on suggestions of a helpful referee; final journal version

Cited by in corpus (14)

• Coend calculus
• The Frobenius Condition, Right Properness, and Uniform Fibrations
• Skew-enriched categories
• The linearity of traces in monoidal categories and bicategories
• Cofibrancy of operadic constructions in positive symmetric spectra
• A homotopy coherent cellular nerve for bicategories
• The Gray tensor product for 2-quasi-categories
• Models of Martin-Löf type theory from algebraic weak factorisation systems
• Equivariant infinite loop space theory, the space level story
• Equivariant dendroidal sets and simplicial operads
• Reedy diagrams in V-model categories
• Joyal's cylinder conjecture
• The effective model structure and $\infty$-groupoid objects
• A pasting theorem for iterated Segal spaces