5,274
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − icewedge was here+ + +
Undo revision 118025 by Special:Contributions/Truthandjustice (User talk:Truthandjustice)
'''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]]