Wikipedia
(∞,1)-category
In mathematics, a (∞, 1)-category is an ∞-category in which all n-morphisms for n > 1 are equivalences.
There are several models of (∞, 1)-categories, including
- Infinity category
- Segal category
- Simplicially enriched category
- Topological category
- Complete Segal space