Last modified on March 15, 2007, at 18:44

2-category

This is an old revision of this page, as edited by Pixologic (Talk | contribs) at 18:44, March 15, 2007. It may differ significantly from current revision.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.