Skip to main content
added 22 characters in body
Source Link
Urs Schreiber
  • 19.9k
  • 1
  • 74
  • 270

The next one is called

modification.

Modifications between ordinary natural transformations between functors between categories are trivial, but they exist between

lax natural transformations

between 2-functors between 2-categories.

The next one after that is called perturbation : a perturbation goes between modifications between pseudonatural transformations between 3-functors between 3-categories.

Beyond that, no established terms exists. Instead one starts numbering things and speaks of

transfors.

n-Functors are 0-transfors.

Transformations are 1-transfors.

Modifications are 2-transfors.

Perturbations are 3-transfors.

And so on.

The next one is called

modification.

Modifications between ordinary natural transformations between functors between categories are trivial, but they exist between

lax natural transformations

between 2-functors between 2-categories.

The next one after that is called perturbation : a perturbation goes between pseudonatural transformations between 3-functors between 3-categories.

Beyond that, no established terms exists. Instead one starts numbering things and speaks of

transfors.

n-Functors are 0-transfors.

Transformations are 1-transfors.

Modifications are 2-transfors.

Perturbations are 3-transfors.

And so on.

The next one is called

modification.

Modifications between ordinary natural transformations between functors between categories are trivial, but they exist between

lax natural transformations

between 2-functors between 2-categories.

The next one after that is called perturbation : a perturbation goes between modifications between pseudonatural transformations between 3-functors between 3-categories.

Beyond that, no established terms exists. Instead one starts numbering things and speaks of

transfors.

n-Functors are 0-transfors.

Transformations are 1-transfors.

Modifications are 2-transfors.

Perturbations are 3-transfors.

And so on.

Source Link
Urs Schreiber
  • 19.9k
  • 1
  • 74
  • 270

The next one is called

modification.

Modifications between ordinary natural transformations between functors between categories are trivial, but they exist between

lax natural transformations

between 2-functors between 2-categories.

The next one after that is called perturbation : a perturbation goes between pseudonatural transformations between 3-functors between 3-categories.

Beyond that, no established terms exists. Instead one starts numbering things and speaks of

transfors.

n-Functors are 0-transfors.

Transformations are 1-transfors.

Modifications are 2-transfors.

Perturbations are 3-transfors.

And so on.