Difference between revisions of "2-category"
From Conservapedia
m |
|||
| 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. | '''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]] | [[Category:Mathematics]] | ||
Revision as of 20:04, September 17, 2011
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.
