Difference between revisions of "2-category"
Jump to navigation
Jump to search
(Undo revision 118025 by Special:Contributions/Truthandjustice (User talk:Truthandjustice)) |
|
| (7 intermediate revisions by 7 users not shown) | |
(No difference)
| |
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.