## General theory ### Reedy categories ### Interaction with model structures, generalized- and elegant Reedy categories ### Characterizations of cells ### Functorial characterization ### Recursive characterization ## $\Delta$ the simplex category ## $\Omega$ the globe category ## $T$ the disc category ## Joyal's category $\Theta$ ## Segals category $\Gamma$ ## Opetope