nLab equivalence in a 2-category

Contents

Contents

Definition

A 1-morphism in a 2-category is an equivalence if there exists another 1-morphism the other way around, such that both are inverses up to invertible 2-morphisms.

In 2-category theory equivalences in a 2-category are sometimes also called “1-equivalences”, to distinguish these weakly invertible 1-morphisms from invertible 2-morphisms.

Examples

Last revised on May 5, 2017 at 21:06:16. See the history of this page for a list of all contributions to it.