Difference between revisions of "2-category"
Jump to navigation
Jump to search
NotALiberal (talk | contribs) m |
m |
||
| Line 2: | Line 2: | ||
[[Category:Mathematics]] | [[Category:Mathematics]] | ||
| − | |||
Revision as of 22:08, December 14, 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.