There is a functor |•|: S → CGHaus called the geometric realization taking a simplicial set X to its corresponding realization in the category of compactly-generated Hausdorff topological spaces.
This larger category is used as the target of the functor because, in particular, a product of simplicial sets
is realized as a product
of the corresponding topological spaces, where denotes the Kelley space product. To define the realization functor, we first define it on n-simplices Δn as the corresponding topological n-simplex |Δn|. The definition then naturally extends to any simplicial set X by setting
- |X| = limΔn → X |Δn|
where the colimit is taken over the n-simplex category of X. The geometric realization is functorial on S.
Read more about this topic: Simplicial Set
Famous quotes containing the words geometric and/or realization:
“In mathematics he was greater
Than Tycho Brahe, or Erra Pater:
For he, by geometric scale,
Could take the size of pots of ale;
Resolve, by sines and tangents straight,
If bread and butter wanted weight;
And wisely tell what hour o th day
The clock doth strike, by algebra.”
—Samuel Butler (16121680)
“I believe in women; and in their right to their own best possibilities in every department of life. I believe that the methods of dress practiced among women are a marked hindrance to the realization of these possibilities, and should be scorned or persuaded out of society.”
—Elizabeth Stuart Phelps (18441911)