# nLab natural equivalence

### Context

#### 2-Category theory

2-category theory

## Structures on 2-categories

#### Higher category theory

higher category theory

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

(…)

Revised on November 20, 2012 21:41:05 by Toby Bartels (64.89.53.83)