Explore relationships

2-morphism

In category theory in mathematics, a 2-category is a category with "morphisms between morphisms", called 2-morphisms. A basic example is the category Cat of all (small) categories, where a 2-morphism is a natural transformation between functors.

Use + to expand a branch. Click a topic name to open its summary.