nLab
strict 2-functor

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