Segal space

From HandWiki
Revision as of 07:55, 17 January 2021 by imported>NBrush (fixing)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In mathematics, a Segal space is a simplicial space satisfying some pullback conditions, making it look like a homotopical version of a category. More precisely, a simplicial set, considered as a simplicial discrete space, satisfies the Segal conditions iff it is the nerve of a category. The condition for Segal spaces is a homotopical version of this. Complete Segal spaces were introduced by (Rezk 2001) as models for (∞, 1)-categories.

References

External links