2-category

From Conservapedia
This is an old revision of this page, as edited by NotALiberal (Talk | contribs) at 23:43, 1 February 2009. It may differ significantly from current revision.

Jump to: navigation, search

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