ScalingStacks

2.1. Spaces[0MSU]

By space we always mean “simplicial set” unless otherwise indicated; the category of spaces is denoted by 𝒮{\operatorname{\mathcal{S}}}. Particular examples of spaces which we shall need are Δ⁡[n]\Delta[n], the standard nn-simplex, Δ˙​[n]\dot{\Delta}[n], the boundary of the standard nn-simplex, and Λk​[n]\Lambda^{k}[n], the boundary of the standard nn-simplex with the kk-th face removed. If XX and YY are spaces we write Map𝒮⁡(X,Y)\Map_{{\operatorname{\mathcal{S}}}}(X,Y) for the space of maps from XX to YY; the nn-simplices of Map𝒮⁡(X,Y)\Map_{{\operatorname{\mathcal{S}}}}(X,Y) correspond to maps X×Δ⁡[n]→YX\times\Delta[n]\rightarrow Y.

We will sometimes speak of a “point” in a space, by which is meant a 00-simplex, or of a “path” in a space, by which is meant a 11-simplex.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Charles Rezk

Original source: arXiv:math/9811037v3

Original source · math/9811037v3