(∞,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

See also

References

This article is issued from Wikipedia - version of the 1/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.