Английская Википедия:Dinatural transformation
Материал из Онлайн справочника
Шаблон:Short descriptionIn category theory, a branch of mathematics, a dinatural transformation <math>\alpha</math> between two functors
- <math>S,T : C^{\mathrm{op}}\times C\to D,</math>
written
- <math>\alpha : S\ddot\to T,</math>
is a function that to every object <math>c</math> of <math>C</math> associates an arrow
- <math>\alpha_c : S(c,c)\to T(c,c)</math> of <math>D</math>
and satisfies the following coherence property: for every morphism <math>f:c\to c'</math> of <math>C</math> the diagram
commutes.[1]
The composition of two dinatural transformations need not be dinatural.
See also
References
External links