Presentation of finite Reedy categories as localizations of finite direct categories

Genki Sato

In this paper, we present a construction from a Reedy category $C$ of a direct category $\mathrm{Down}(C)$ and a functor $\mathrm{Down}(C)\to C$, which exhibits $C$ as…