Reedy categories and the \(\varTheta\)-construction (Q1955710): Difference between revisions

The authors use the notion of multi-Reedy category to prove that if \(\mathcal{C}\) is a Reedy category, then \(\Theta\mathcal{C}\) is a Reedy category as well. This result gives a new proof that the categories \(\Theta_n\) are Reedy categories. Then the authors introduce the notion of elegant Reedy category, for which it is proved that the Reedy and injective model structures coincide. The authors conclude the paper with the notion of \(EZ\)-Reedy category (for Eilenberg Zilberg). It is proved that any \(EZ\)-Reedy category is elegant, and therefore Reedy and injective model structures coincide. And that the categories \(\Theta_k\) are \(EZ\)-Reedy for all \(k\geq 0\).