A -complex is a topological space with a family of maps
for each such that ( is the standard -simplex)
- Each interior restriction of map is injective
- Each point lies in the image of interior restriction of for exactly one
- Each -boundary restriction of is equal to some where we identify the -boundary with a by the unique linear homeomorphism that preserves the order of the vertices
- A subspace is open if and only if is open for all
Definition -simplex of a -complex [K5BK]
We refer to a map as an -simplex of the -complexDefinitionDelta complex .