# nLab (infinity,1)-category theory

Contents

### Context

#### $(\infty,1)$-Category theory

(∞,1)-category theory

## Models

#### Higher category theory

higher category theory

# Contents

## Idea

In the pattern of (n,r)-categories the notion of (∞,1)-category is special in that it is precisely the structure that

This entry surveys the category theory of $(\infty,1)$-categories .

## Universal constructions

The universal constructions of category theory generalize, with unique existence of universal morphisms replaced by the requirement of a contractible space of universal morphisms.

## References

See the references at (infinity,1)-category.

Last revised on March 15, 2012 at 15:15:49. See the history of this page for a list of all contributions to it.