## General theory ### Reedy categories ### Interaction with model structures, generalized- and elegant Reedy categories ### Characterizations of cells ### Functorial characterization ### Recursive characterization ## Examples ### $\Delta$ the simplex category ### $\Omega$ the globe category ### $T$ the disc category ### Joyal's category $\Theta$ ### Segals category $\Gamma$ ### Opetope ### Poset ## Functorial images of combinatorial shape categories ### Constraints on the functor ### Nerves, Realization and Segal conditions ### Model structures and presentation of higher structures