Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Recall that in a category , each pair of objects and determines a set , the hom-set of and . In a -category , each pair of objects determines a category . This category is the hom-category of and .
As a -category is enriched over Cat, a hom-category is a special case of a hom-object. But the hom-category makes sense also for the weakly enriched concept of bicategory.
Revised on July 28, 2011 15:21:06
by Urs Schreiber