This article has been nominated for deletion. You are welcome to participate in the deletion discussion, which will decide whether to keep it. This discussion may also result in the article being merged, redirected, or draftified. |
This article relies largely or entirely on a single source. (April 2024) |
In mathematics, a simplicial space is a simplicial object in the category of topological spaces. In other words, it is a contravariant functor from the simplex category Δ to the category of topological spaces.[1]
In mathematics, a Segal category is a model of an infinity category introduced by Hirschowitz & Simpson (1998), based on work of Graeme Segal in 1974.
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 if and only if 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
- Hirschowitz, André; Simpson, Carlos (1998). "Descente pour les n-champs" (in French). arXiv:math/9807049.
- Joyal, A. (2008), The theory of quasi-categories and its applications, lectures at CRM Barcelona (PDF), pp. 164–169, archived from the original (PDF) on 2011-07-06
- Rezk, Charles (2001), "A model for the homotopy theory of homotopy theory", Transactions of the American Mathematical Society, 353 (3): 973–1007, doi:10.1090/S0002-9947-00-02653-2, ISSN 0002-9947, MR 1804411
- ^ Baues, Hans Joachim (1995), "Homotopy types", in James, I. M. (ed.), Handbook of Algebraic Topology, Amsterdam: North-Holland, pp. 1–72, doi:10.1016/B978-044481779-2/50002-X, ISBN 9780444817792, MR 1361886. See in particular p. 8.
External links
- Segal space at the nLab
- Complete Segal space at the nLab
- Segal category at the nLab