Higher category theory
higher category theory
Extra properties and structure
The homotopy 2-category of an (∞,n)-category is the 2-category with the same objects and 1-morphisms as and with the 2-morphisms being the equivalence classes of 2-morphisms of .
In other words, for every pair of objects in , the hom-category is the ordinary homotopy category of the -category .
Created on August 23, 2012 16:32:42
by Urs Schreiber