Simplicial set Guide, Meaning , Facts, Information and Description
In mathematics, a simplicial set is a sequence of sets
- if
- if
- if or
- if
- if
| Table of contents |
|
2 Homotopy 3 Geometric realization 4 Categorical definition 5 References |
Let , the -simplex. The face maps are
Given a space we can define . For each , define the degeneracy map where is the
Define the th homotopy group of as the th homology group of this chain. That is
Note that the homotopy group defined for this is actually the homotopy group of the realization.
Alternatively, a simplicial set can be viewed as a presheaf on .
These definitions arise from the relationship of the conditions imposed on the face and degeneracy maps to the category of finite, totally ordered sets. There is an equivalence of categories between it and the subcategory with objects
Examples
The Standard Simplicial Set
given by
The degeneracy maps are
given by Singular complex for a space
Braids
''See braid theory, braid groupHomotopy
If is a simplicial group we may define its homotopy groups. Let
Then we have a sequence
where the maps between the sets are . Geometric realization
Give the definition of the geometric realization. Categorical definition
Using the language of category theory, a simplicial set is a simplicial object in , that is, a contravariant functor from the simplicial category to .
with the usual order ≤. This is the usual definition of Δ.
