# nLab homotopy 2-category of (∞,1)-categories

Contents

### Context

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

(∞,1)-category theory

## Models

#### 2-Category theory

2-category theory

# Contents

## Idea

The homotopy 2-category of the (∞,2)-category (∞,1)Cat of (small) (∞,1)-categories.

## References

With (∞,1)-categories modeled as quasi-categories, their homotopy 2-category was considered first in

• Andre Joyal, The theory of quasi-categories and its applications (pdf)

and then developed in full detail in

Created on July 14, 2020 at 09:43:16. See the history of this page for a list of all contributions to it.