(∞,1)-category

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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

See also[edit]

References[edit]