English

Reedy categories and their generalizations

Algebraic Topology 2015-07-15 v1 Category Theory

Abstract

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 iterated bigluing. It also gives a consistent way to produce generalizations of Reedy categories, including the generalized Reedy categories of Cisinski and Berger-Moerdijk and the enriched Reedy categories of Angeltveit, but also new versions such as a combined notion of "enriched generalized Reedy category".

Keywords

Cite

@article{arxiv.1507.01065,
  title  = {Reedy categories and their generalizations},
  author = {Michael Shulman},
  journal= {arXiv preprint arXiv:1507.01065},
  year   = {2015}
}

Comments

66 pages; includes Coq code

R2 v1 2026-06-22T10:05:33.837Z