Difference between revisions of "2-category"
|Line 2:||Line 2:|
Revision as of 23:43, 1 February 2009
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.Template:Stub