2-functor
= 2-functor
{wiki=2-functor}
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.