In mathematics, a simplicial set is an object composed of simplices in a specific way. Simplicial sets are higherdimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined as a contravariant functor from the simplex category to the category of sets. Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber.^{[1]}
Every simplicial set gives rise to a "nice" topological space, known as its geometric realization. This realization consists of geometric simplices, glued together according to the rules of the simplicial set. Indeed, one may view a simplicial set as a purely combinatorial construction designed to capture the essence of a "wellbehaved" topological space for the purposes of homotopy theory. Specifically, the category of simplicial sets carries a natural model structure, and the corresponding homotopy category is equivalent to the familiar homotopy category of topological spaces.
Simplicial sets are used to define quasicategories, a basic notion of higher category theory. A construction analogous to that of simplicial sets can be carried out in any category, not just in the category of sets, yielding the notion of simplicial objects.
YouTube Encyclopedic

1/5Views:120 00844 085633829833

Simplicial Complexes  Your Brain as Math Part 2  Infinite Series

Simplices and simplicial complexes  Algebraic Topology  NJ Wildberger

GTAC 8.1: Simplicial Complexes and Maps

Kan Simplicial Set Model of Type Theory  Peter LeFanu Lumsdaine

Motivic Verona by Peter Arndt 2/6: Simplicial sets, derived functors and homotopy (co)limits
Transcription
Motivation
A simplicial set is a categorical (that is, purely algebraic) model capturing those topological spaces that can be built up (or faithfully represented up to homotopy) from simplices and their incidence relations. This is similar to the approach of CW complexes to modeling topological spaces, with the crucial difference that simplicial sets are purely algebraic and do not carry any actual topology.
To get back to actual topological spaces, there is a geometric realization functor which turns simplicial sets into compactly generated Hausdorff spaces. Most classical results on CW complexes in homotopy theory are generalized by analogous results for simplicial sets. While algebraic topologists largely continue to prefer CW complexes, there is a growing contingent of researchers interested in using simplicial sets for applications in algebraic geometry where CW complexes do not naturally exist.
Intuition
Simplicial sets can be viewed as a higherdimensional generalization of directed multigraphs. A simplicial set contains vertices (known as "0simplices" in this context) and arrows ("1simplices") between some of these vertices. Two vertices may be connected by several arrows, and directed loops that connect a vertex to itself are also allowed. Unlike directed multigraphs, simplicial sets may also contain higher simplices. A 2simplex, for instance, can be thought of as a twodimensional "triangular" shape bounded by a list of three vertices A, B, C and three arrows B → C, A → C and A → B. In general, an nsimplex is an object made up from a list of n + 1 vertices (which are 0simplices) and n + 1 faces (which are (n − 1)simplices). The vertices of the ith face are the vertices of the nsimplex minus the ith vertex. The vertices of a simplex need not be distinct and a simplex is not determined by its vertices and faces: two different simplices may share the same list of faces (and therefore the same list of vertices), just like two different arrows in a multigraph may connect the same two vertices.
Simplicial sets should not be confused with abstract simplicial complexes, which generalize simple undirected graphs rather than directed multigraphs.
Formally, a simplicial set X is a collection of sets X_{n}, n = 0, 1, 2, ..., together with certain maps between these sets: the face maps d_{n,i} : X_{n} → X_{n−1} (n = 1, 2, 3, ... and 0 ≤ i ≤ n) and degeneracy maps s_{n,i} : X_{n}→X_{n+1} (n = 0, 1, 2, ... and 0 ≤ i ≤ n). We think of the elements of X_{n} as the nsimplices of X. The map d_{n,i} assigns to each such nsimplex its ith face, the face "opposite to" (i.e. not containing) the ith vertex. The map s_{n,i} assigns to each nsimplex the degenerate (n+1)simplex which arises from the given one by duplicating the ith vertex. This description implicitly requires certain consistency relations among the maps d_{n,i} and s_{n,i}. Rather than requiring these simplicial identities explicitly as part of the definition, the short and elegant modern definition uses the language of category theory.
Formal definition
Let Δ denote the simplex category. The objects of Δ are nonempty linearly ordered sets of the form
 [n] = {0, 1, ..., n}
with n≥0. The morphisms in Δ are (nonstrictly) orderpreserving functions between these sets.
A simplicial set X is a contravariant functor
 X : Δ → Set
where Set is the category of sets. (Alternatively and equivalently, one may define simplicial sets as covariant functors from the opposite category Δ^{op} to Set.) Given a simplicial set X, we often write X_{n} instead of X([n]).
Simplicial sets form a category, usually denoted sSet, whose objects are simplicial sets and whose morphisms are natural transformations between them. This is nothing but the category of presheaves on Δ. As such, it is a topos.
Face and degeneracy maps and simplicial identities
The simplex category Δ is generated by two particularly important families of morphisms (maps), whose images under a given simplicial set functor are called face maps and degeneracy maps of that simplicial set.
The face maps of a simplicial set X are the images in that simplicial set of the morphisms , where is the only (orderpreserving) injection that "misses" . Let us denote these face maps by respectively, so that is a map . If the first index is clear, we write instead of .
The degeneracy maps of the simplicial set X are the images in that simplicial set of the morphisms , where is the only (orderpreserving) surjection that "hits" twice. Let us denote these degeneracy maps by respectively, so that is a map . If the first index is clear, we write instead of .
The defined maps satisfy the following simplicial identities:
 if i < j. (This is short for if 0 ≤ i < j ≤ n.)
 if i < j.
 if i = j or i = j + 1.
 if i > j + 1.
 if i ≤ j.
Conversely, given a sequence of sets X_{n} together with maps and that satisfy the simplicial identities, there is a unique simplicial set X that has these face and degeneracy maps. So the identities provide an alternative way to define simplicial sets.
Examples
Given a partially ordered set (S,≤), we can define a simplicial set NS, the nerve of S, as follows: for every object [n] of Δ we set NS([n]) = hom_{poset}( [n] , S), the orderpreserving maps from [n] to S. Every morphism φ:[n]→[m] in Δ is an order preserving map, and via composition induces a map NS(φ) : NS([m]) → NS([n]). It is straightforward to check that NS is a contravariant functor from Δ to Set: a simplicial set.
Concretely, the nsimplices of the nerve NS, i.e. the elements of NS_{n}=NS([n]), can be thought of as ordered length(n+1) sequences of elements from S: (a_{0} ≤ a_{1} ≤ ... ≤ a_{n}). The face map d_{i} drops the ith element from such a list, and the degeneracy maps s_{i} duplicates the ith element.
A similar construction can be performed for every category C, to obtain the nerve NC of C. Here, NC([n]) is the set of all functors from [n] to C, where we consider [n] as a category with objects 0,1,...,n and a single morphism from i to j whenever i ≤ j.
Concretely, the nsimplices of the nerve NC can be thought of as sequences of n composable morphisms in C: a_{0} → a_{1} → ... → a_{n}. (In particular, the 0simplices are the objects of C and the 1simplices are the morphisms of C.) The face map d_{0} drops the first morphism from such a list, the face map d_{n} drops the last, and the face map d_{i} for 0 < i < n drops a_{i} and composes the ith and (i + 1)th morphisms. The degeneracy maps s_{i} lengthen the sequence by inserting an identity morphism at position i.
We can recover the poset S from the nerve NS and the category C from the nerve NC; in this sense simplicial sets generalize posets and categories.
Another important class of examples of simplicial sets is given by the singular set SY of a topological space Y. Here SY_{n} consists of all the continuous maps from the standard topological nsimplex to Y. The singular set is further explained below.
The standard nsimplex and the category of simplices
The standard nsimplex, denoted Δ^{n}, is a simplicial set defined as the functor hom_{Δ}(, [n]) where [n] denotes the ordered set {0, 1, ... ,n} of the first (n + 1) nonnegative integers. (In many texts, it is written instead as hom([n],) where the homset is understood to be in the opposite category Δ^{op}.^{[2]})
By the Yoneda lemma, the nsimplices of a simplicial set X stand in 1–1 correspondence with the natural transformations from Δ^{n} to X, i.e. .
Furthermore, X gives rise to a category of simplices, 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 Δ. That is, is a slice category of Δ over X. The following isomorphism shows that a simplicial set X is a colimit of its simplices:^{[3]}
where the colimit is taken over the category of simplices of X.
Geometric realization
There is a functor •: sSet → CGHaus called the geometric realization taking a simplicial set X to its corresponding realization in the category of compactlygenerated Hausdorff topological spaces. Intuitively, the realization of X is the topological space (in fact a CW complex) obtained if every nsimplex of X is replaced by a topological nsimplex (a certain ndimensional subset of (n + 1)dimensional Euclidean space defined below) and these topological simplices are glued together in the fashion the simplices of X hang together. In this process the orientation of the simplices of X is lost.
To define the realization functor, we first define it on standard nsimplices Δ^{n} as follows: the geometric realization Δ^{n} is the standard topological nsimplex in general position given by
The definition then naturally extends to any simplicial set X by setting
 X = lim_{Δn → X}  Δ^{n}
where the colimit is taken over the nsimplex category of X. The geometric realization is functorial on sSet.
It is significant that we use the category CGHaus of compactlygenerated Hausdorff spaces, rather than the category Top of topological spaces, as the target category of geometric realization: like sSet and unlike Top, the category CGHaus is cartesian closed; the categorical product is defined differently in the categories Top and CGHaus, and the one in CGHaus corresponds to the one in sSet via geometric realization.
Singular set for a space
The singular set of a topological space Y is the simplicial set SY defined by
 (SY)([n]) = hom_{Top}(Δ^{n}, Y) for each object [n] ∈ Δ.
Every orderpreserving map φ:[n]→[m] induces a continuous map Δ^{n}→Δ^{m} in a natural way, which by composition yields SY(φ) : SY([m]) → SY([n]). This definition is analogous to a standard idea in singular homology of "probing" a target topological space with standard topological nsimplices. Furthermore, the singular functor S is right adjoint to the geometric realization functor described above, i.e.:
 hom_{Top}(X, Y) ≅ hom_{sSet}(X, SY)
for any simplicial set X and any topological space Y. Intuitively, this adjunction can be understood as follows: a continuous map from the geometric realization of X to a space Y is uniquely specified if we associate to every simplex of X a continuous map from the corresponding standard topological simplex to Y, in such a fashion that these maps are compatible with the way the simplices in X hang together.
Homotopy theory of simplicial sets
In order to define a model structure on the category of simplicial sets, one has to define fibrations, cofibrations and weak equivalences. One can define fibrations to be Kan fibrations. A map of simplicial sets is defined to be a weak equivalence if its geometric realization is a weak homotopy equivalence of spaces. A map of simplicial sets is defined to be a cofibration if it is a monomorphism of simplicial sets. It is a difficult theorem of Daniel Quillen that the category of simplicial sets with these classes of morphisms becomes a model category, and indeed satisfies the axioms for a proper closed simplicial model category.
A key turning point of the theory is that the geometric realization of a Kan fibration is a Serre fibration of spaces. With the model structure in place, a homotopy theory of simplicial sets can be developed using standard homotopical algebra methods. Furthermore, the geometric realization and singular functors give a Quillen equivalence of closed model categories inducing an equivalence
 •: Ho(sSet) ↔ Ho(Top)
between the homotopy category for simplicial sets and the usual homotopy category of CW complexes with homotopy classes of continuous maps between them. It is part of the general definition of a Quillen adjunction that the right adjoint functor (in this case, the singular set functor) carries fibrations (resp. trivial fibrations) to fibrations (resp. trivial fibrations).
Simplicial objects
A simplicial object X in a category C is a contravariant functor
 X : Δ → C
or equivalently a covariant functor
 X: Δ^{op} → C,
where Δ still denotes the simplex category and ^{op} the opposite category. When C is the category of sets, we are just talking about the simplicial sets that were defined above. Letting C be the category of groups or category of abelian groups, we obtain the categories sGrp of simplicial groups and sAb of simplicial abelian groups, respectively.
Simplicial groups and simplicial abelian groups also carry closed model structures induced by that of the underlying simplicial sets.
The homotopy groups of simplicial abelian groups can be computed by making use of the Dold–Kan correspondence which yields an equivalence of categories between simplicial abelian groups and bounded chain complexes and is given by functors
 N: sAb → Ch_{+}
and
 Γ: Ch_{+} → sAb.
History and uses of simplicial sets
Simplicial sets were originally used to give precise and convenient descriptions of classifying spaces of groups. This idea was vastly extended by Grothendieck's idea of considering classifying spaces of categories, and in particular by Quillen's work of algebraic Ktheory. In this work, which earned him a Fields Medal, Quillen developed surprisingly efficient methods for manipulating infinite simplicial sets. These methods were used in other areas on the border between algebraic geometry and topology. For instance, the André–Quillen homology of a ring is a "nonabelian homology", defined and studied in this way.
Both the algebraic Ktheory and the André–Quillen homology are defined using algebraic data to write down a simplicial set, and then taking the homotopy groups of this simplicial set.
Simplicial methods are often useful when one wants to prove that a space is a loop space. The basic idea is that if is a group with classifying space , then is homotopy equivalent to the loop space . If itself is a group, we can iterate the procedure, and is homotopy equivalent to the double loop space . In case is an abelian group, we can actually iterate this infinitely many times, and obtain that is an infinite loop space.
Even if is not an abelian group, it can happen that it has a composition which is sufficiently commutative so that one can use the above idea to prove that is an infinite loop space. In this way, one can prove that the algebraic theory of a ring, considered as a topological space, is an infinite loop space.
In recent years, simplicial sets have been used in higher category theory and derived algebraic geometry. Quasicategories can be thought of as categories in which the composition of morphisms is defined only up to homotopy, and information about the composition of higher homotopies is also retained. Quasicategories are defined as simplicial sets satisfying one additional condition, the weak Kan condition.
See also
 Delta set
 Dendroidal set, a generalization of simplicial set
 Simplicial presheaf
 Quasicategory
 Kan complex
 Dold–Kan correspondence
 Simplicial homotopy
 Simplicial sphere
 Abstract simplicial complex
Notes
 ^ Eilenberg, Samuel; Zilber, J. A. (1950). "SemiSimplicial Complexes and Singular Homology". Annals of Mathematics. 51 (3): 499–513. doi:10.2307/1969364. JSTOR 1969364.
 ^ Gelfand & Manin 2013
 ^ Goerss & Jardine 1999, p. 7
References
 Goerss, Paul G.; Jardine, John F. (1999). Simplicial Homotopy Theory. Progress in Mathematics. Vol. 174. Birkhäuser. doi:10.1007/9783034887076. ISBN 9783764360641. MR 1711612.
 Gelfand, Sergei I.; Manin, Yuri I. (2013). Methods of Homological Algebra. Springer. ISBN 9783662124925.
 Allegretti, Dylan G.L. "Simplicial Sets and van Kampen's Theorem" (PDF). CiteSeerX 10.1.1.539.7411. (An elementary introduction to simplicial sets).
 Quillen, Daniel (1973). "Higher algebraic Ktheory: I". In Bass, Hyman (ed.). Higher KTheories. Lecture Notes in Mathematics. Vol. 341. SpringerVerlag. pp. 85–147. ISBN 3540064346.
 Segal, Graeme B. (1974). "Categories and cohomology theories". Topology. 13 (3): 293–312. doi:10.1016/00409383(74)900226.
Further reading
 Riehl, Emily. "A leisurely introduction to simplicial sets" (PDF).
 May, J. Peter. Simplicial Objects in Algebraic Topology, University of Chicago Press 1967
 simplicial set at the nLab