In category theory, a **2-functor** is a generalization of a functor that operates between 2-categories. To understand what a 2-functor is, we need to break down some concepts. ### Categories A **category** consists of: - Objects - Morphisms (or arrows) between these objects that satisfy certain composition and identity properties. ### Functors A **functor** is a map between two categories that preserves the structure of those categories.
Articles by others on the same topic
There are currently no matching articles.