Difference between revisions of "2-category"
Jump to navigation
Jump to search
(Replacing page with 'icewedge was here') |
|||
| (8 intermediate revisions by 8 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | '''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. | |
| + | |||
| + | [[Category:Mathematics]] | ||
Latest revision as of 02:53, February 15, 2012
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.