# 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.

Last revised on November 28, 2012 at 16:08:50. See the history of this page for a list of all contributions to it.