nLab strict 2-equivalence of 2-categories

A strict 2-equivalence between strict 2-categories is an equivalence of Cat-enriched categories. Thus, it consists of a pair of strict 2-functors and strict 2-natural isomorphisms relating their composites to identities.

Traditionally this is called simply a 2-equivalence, with the word biequivalence used for the weaker notion. On the nLab we tend to say simply equivalence for the weaker notion, in line with our general philosophy that weak higher categories deserve the unadorned names.

Last revised on July 10, 2020 at 10:03:37. See the history of this page for a list of all contributions to it.