abstract simplicial complex