nLab
strict 2-functor

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Definition

Just as a strict 2-category is a category enriched over Cat, a strict 2-functor is a functor enriched over CatCat in a 11-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.