The Stack Overflow podcast is back! Listen to an interview with our new CEO.

A 2-category is a category with "morphisms between morphisms".

In category theory, a 2-category is a category with "morphisms between morphisms"; that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories). (Wikipedia)

history | excerpt history