a data structure which is dimension-independent for simplicial complexes