Segal space
In mathematics, a Segal space is a simplicial space satisfying some extra conditions. Complete Segal spaces were introduced by Rezk (2001) as models for (∞, 1)-categories.
References
- 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