The Standard n-simplex and The Simplex Category
Categorically, the standard n-simplex, denoted Δn, is the functor hom(-, n) where n denotes the string 0 → 1 → ... → n of the first (n + 1) nonnegative integers and the homset is taken in the category Δ. In many texts, it is written instead as hom(n,-) where the homset is understood to be in the opposite category Δop.
The geometric realization |Δn| is just defined to be the standard topological n-simplex in general position given by
By the Yoneda lemma, the n-simplices of a simplicial set X are classified by natural transformations in hom(Δn, X). The n-simplices of X are then collectively denoted by Xn. Furthermore, there is a simplex category, denoted by whose objects are maps (i.e. natural transformations) Δn → X and whose morphisms are natural transformations Δn → Δm over X arising from maps n → m in Δ. The following isomorphism shows that a simplicial set X is a colimit of its simplices:
where the colimit is taken over the simplex category of X.
Read more about this topic: Simplicial Set
Famous quotes containing the words standard and/or category:
“This unlettered man’s speaking and writing are standard English. Some words and phrases deemed vulgarisms and Americanisms before, he has made standard American; such as “It will pay.” It suggests that the one great rule of composition—and if I were a professor of rhetoric I should insist on this—is, to speak the truth. This first, this second, this third; pebbles in your mouth or not. This demands earnestness and manhood chiefly.”
—Henry David Thoreau (1817–1862)
“Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.”
—Vladimir Ilyich Lenin (1870–1924)