Difference between revisions of "2-category"

From Conservapedia
Jump to: navigation, search
(Replacing page with 'icewedge was here')
Line 1: Line 1:
icewedge was here
+
'''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]]

Revision as of 22:27, 19 April 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.