PROP (category theory) Abstract simplicial complex References External links What's special about the Simplex category? Algebraic topology Homotopy theory Categories in category theory Free algebraic structures