hypersimplex subsimplex n-simplex simplex simplicial complex simplexity flag complex comonoid connex comodule