Dinatural transformation - Alchetron, the free social encyclopedia

In category theory, a dinatural transformation α between two functors

S , T : C o p × C → X ,

written

α : S → ¨ T ,

is a function which to every object c of C associates an arrow

α c : S ( c , c ) → T ( c , c ) of X

and satisfies the following coherence property: for every morphism f : c → c ′ of C the diagram

commutes.

The composition of two dinatural transformations need not be dinatural.

References

(Text) CC BY-SA