Spahn combinatorial shape (Rev #1)

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