natural transformation love

natural transformation

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. Given categories C and D and functors F and G both going from C to D, then a transformation η from F to G consists of components ηX:F(X) → G(X), indexed by objects X of C, which are morphisms in D. The transformation is said to be natural if for any arrow f:X → Y in C, the following naturality condition is satisfied: .

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.