2-category
This is an old revision of this page, as edited by Kevinxu (talk | contribs) at 19:50, September 17, 2011. It may differ significantly from current revision.
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.