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

Idea

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

Related concepts

• adjoint (∞,1)-functor

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

• Emily Riehl, Dominic Verity, The 2-category theory of quasi-categories, Advances in Mathematics Volume 280, 6 August 2015, Pages 549-642 (arXiv:1306.5144, doi:10.1016/j.aim.2015.04.021),