map between simplicial complexes with the property that the images of the vertices of a simplex always span a simplex