In category theory, a branch of mathematics, a dinatural transformation between two functors
is a function that to every object of associates an arrow
and satisfies the following coherence property: for every morphism of the diagram
The composition of two dinatural transformations need not be dinatural.
- ^ Mac Lane, Saunders (2013). Categories for the working mathematician. Springer Science & Business Media. p. 218.