semi-simplicial set


Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology



Paths and cylinders

Homotopy groups

Basic facts


Semi-simplicial sets


A semi-simplicial set is like a simplicial set, but without degeneracy maps: it is a sequence {X n} n\{X_n\}_{n \in \mathbb{N}} of sets together with functions called face maps between them which encode that an element in X n+1X_{n+1} has (n+1)(n+1) “faces” (boundary segments) which are elements in X nX_{n}.

The semi-simplicial set version of a simplicial complex is also called a Delta set.


Let Δ\Delta denote the simplex category, which is a skeleton of the category of inhabited finite totally ordered sets. Let Δ +\Delta_+ denote the wide subcategory of Δ\Delta containing only the injective functions. Thus, Δ +\Delta_+ is equivalent to the category of inhabited finite totally ordered sets and order-preserving injections.

Recall that a simplicial set is a presheaf X:Δ opSetX\colon \Delta^{op}\to Set. Similarly, a semi-simplicial set is a presheaf X:Δ + opSetX\colon \Delta_+^{op} \to Set.

More generally, for 𝒞\mathcal{C} any other category, a functor Δ + op𝒞\Delta_+^{op} \to \mathcal{C} is a semi-simplicial object in 𝒞\mathcal{C}.


Relation to nerves of semi-categories

The nerve of a semicategory is a semi-simplicial set (satisfying the Segal conditions) just as the nerve of a category is a simplicial set.

Model category structure

There is a model structure on semi-simplicial sets, transferred along the right adjoint of the forgetful functor from the model structure on simplicial sets.

Historical and terminological remarks

The original paper

  • Eilenberg and Zilber, “Semi-Simplicial Complexes and Singular Homology”, Annals of Mathematics vol. 51 no. 3 (1950), 499–513

defined both (what we now call) semi-simplicial sets, under the name semi-simplicial complexes, and (what we now call) simplicial sets, under the name complete semi-simplicial complexes. The motivation for the name “semi-simplicial” was that a semi-simplicial set is like a simplicial complex, but lacks the property that a simplex is uniquely determined by its vertices. Then they added the degeneracies and a corresponding adjective “complete.”

Over time it became clear that “complete semi-simplicial complexes” were much more important and useful than the non-complete ones. This seems to have led first to the omission of the adjective “complete,” and then the omission of the prefix “semi” (and at some point the replacement of “complex” by “set”), resulting in the current name simplicial sets.

Anyone more knowledgable about the history, please correct/improve the preceding paragraph.

The concept is essentially the same as that of Δ\Delta-set, as used by Rourke and Sanderson. Their motivation was from geometric topology.

On the other hand, in other contexts the prefix “semi-” is used to denote absence of identities (such as a semigroup (which is, admittedly, missing more than identities relative to a group) or a semicategory). Thus if we start from the modern name “simplicial sets” it makes independent sense to refer to their degeneracy-less variant as “semi-simplicial sets.” This is coincidentally in line with the original terminology of Eilenberg and Zilber, but not of course with the intermediate usage of “semi-simplicial set” for what we now call a “simplicial set.”


  • C. P. Rourke, and B. J. Sanderson, Δ-Sets I: Homotopy Theory. The Quarterly Journal of Mathematics 22: 321–338 (1971) (PDF)

  • S. Buoncristiano, C.P. Rourke, and B. J. Sanderson, A geometric approach to Homology Theory, LMS Lect. Notes 18, (1976)

  • Peter Hilton, On a generalization of nilpotency to semi-simplicial complexes (pdf)

  • Alex Heller, Homotopy resolutions of semi-simplicial complexes, Transactions of the American Mathematical Society Vol. 80, No. 2 (Nov., 1955), pp. 299-344 (JSTOR)

  • James E. McClure, On semisimplicial sets satisfying the Kan condition (ArXiv).

A discussion of a model structure on semi-simplicial sets is in

See also the references at semi-simplicial object.


Revised on August 22, 2017 00:21:09 by John Baez (