Dinatural transformation
In category theory, a branch of mathematics, a dinatural transformation between two functors
written
is a function that to every object of associates an arrow
and satisfies the following coherence property: for every morphism of the diagram
commutes. Note the direction of is opposite along in the first component since it is contravariant.
The composition of two dinatural transformations need not be dinatural.