Spahn combinatorial shape (Rev #1)

1. General theory

Reedy categories

Interaction with model structures, generalized- and elegant Reedy categories

Characterizations of cells

Functorial characterization

Recursive characterization

2. $\Delta$ the simplex category

3. $\Omega$ the globe category

4. $T$ the disc category

5. Joyal’s category $\Theta$

6. Segals category $\Gamma$

7. Opetope