Difference between revisions of "2-category"

From Conservapedia
Jump to navigation Jump to search
m
Line 2: Line 2:
  
 
[[Category:Mathematics]]
 
[[Category:Mathematics]]
 +
{{stub}}

Revision as of 04:43, February 2, 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. Template:Stub