nLab natural equivalence

Contents

Context

Equality and Equivalence

2-Category theory

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

Often, by a natural equivalence is meant specifically an equivalence in a 2-category of 2-functors.

But more generally it is an equivalence between any kind of functors in higher category theory:

The components of a natural equivalence are equivalences between the objects in the codomain of the functors. This is what the term “natural equivalence” refers to: its a collection of equivalences between objects which are compatible (“natural”) with the morphisms between these objects, and higher morphisms between those.

Last revised on April 22, 2021 at 23:49:51. See the history of this page for a list of all contributions to it.