nLab strict 2-functor

Context

Higher category theory

higher category theory

Contents

Definition

Just as a strict 2-category is a category enriched over Cat, a strict 2-functor is a functor enriched over $Cat$ in a $1$-categorial sense.

Revised on November 28, 2012 16:08:50 by Urs Schreiber (82.169.65.155)