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

See also

• model category

References

• Workshop of homotopy theory of homotopy theories
• (∞, 1)-category in nLab