natural transformation (English, noun)
expansion: natural transformation (plural natural transformations)
Senses:
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow).
Forms:
form: natural transformations
tags: plural