equivalences in/of -categories
The homotopy 2-category of the (∞,2)-category (∞,1)Cat of (small) (∞,1)-categories.
With (∞,1)-categories modeled as quasi-categories, their homotopy 2-category was considered first in
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.