ScalingStacks

4.4. Examples[0MT8]

Recall that every discrete simplicial space is Reedy fibrant. A discrete simplicial space WW is a Segal space if and only if the maps in (4.3) are isomorphisms. Thus, WW is a discrete Segal space if and only if it is isomorphic to the discrete nerve of some small category. In particular, the objects F⁡(k)F(k) are Segal spaces.

If CC is a category, then its classifying diagram N​CNC (as defined in (3.5)) is a Segal space, by (3.6) and (3.9).

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