2-category
This is the current revision of 2-category as edited by Aschlafly (talk | contribs) at 02:53, February 15, 2012. This URL is a permanent link to this version of this page.
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.