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)
“Probably nothing in the experience of the rank and file of workers causes more bitterness and envy than the realization which comes sooner or later to many of them that they are “stuck” and can go no further.”
—Mary Barnett Gilson (1877–?)