Difference between revisions of "2-category"
Jump to navigation
Jump to search
(No difference)
|
Revision as of 18:44, March 15, 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.