Difference between revisions of "2-category"
(Replacing page with 'icewedge was here')
|Line 1:||Line 1:|
Revision as of 22:27, 19 April 2007
2-category is a category with morphisms in between morphisms. It is defined as a category enriched over the category of categories and functors, with the monoidal structure induced by the composition.