Английская Википедия: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

Файл:Dinatural transfo1.png

commutes.[1]

The composition of two dinatural transformations need not be dinatural.

See also

References

Шаблон:Reflist

External links


Шаблон:Categorytheory-stub