2-functor
En matemáticas , un 2-functor es un morfismo entre 2 categorías . [1] Pueden definirse formalmente mediante el enriquecimiento diciendo que una categoría 2 es exactamente una categoría enriquecida con Cat y un 2-functor es un función Cat . [2]
Explícitamente, si C y D son 2 categorías, entonces un 2-functor consta de
de manera que cada uno conserva estrictamente los objetos de identidad y conmuta con composición horizontal en C y D.
