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 (1612–1680)
“Among all the modernized aspects of the most luxurious of industries, the model, a vestige of voluptuous barbarianism, is like some plunder-laden prey. She is the object of unbridled regard, a living bait, the passive realization of an ideal.... No other female occupation contains such potent impulses to moral disintegration as this one, applying as it does the outward signs of riches to a poor and beautiful girl.”
—Colette [Sidonie Gabrielle Colette] (1873–1954)