nLab unnatural transformation

Unnatural transformations

Unnatural transformations

Definition

Given categories C,DC,D and functors F,G:CDF,G\colon C \to D, an unnatural transformation from FF to GG consists of, for each object xx of CC, a morphism from F(x)F(x) to G(x)G(x) in DD.

Thus a natural transformation is an unnatural transformation that satisfies an extra property, namely naturality.

Created on September 22, 2017 at 08:19:26. See the history of this page for a list of all contributions to it.