 Geometric realization of a simplicial set

The geometric realization of a simplicial set glues one topological simplex for each simplicial simplex, using the face and degeneracy maps as the gluing relations.