## ::(∞,1)-category

### ::concepts

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

**(∞,1)-category sections**

Intro See also References

PREVIOUS: Intro | NEXT: See also |

<< | >> |

Category::segal Theory::homotopy Space::infinity Category::arxiv Workshop::theories Infinity::title

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

**(∞,1)-category sections**

Intro See also References

PREVIOUS: Intro | NEXT: See also |

<< | >> |