Естественная трансформация

В теории категорий , разделе математики , есть естественное преобразование. $\alpha$ между двумя функторами

$S,T:C^{\mathrm {op} }\times C\to D,$

написано

$\alpha :S{\ddot {\to }}T,$

это функция, которая для каждого объекта $c$ из $C$ связывает стрелку

$\alpha _{c}:S(c,c)\to T(c,c)$ из $D$

и удовлетворяет следующему свойству когерентности : для каждого морфизма $f:c\to c'$ из $C$ диаграмма

ездит на работу.

Композиция двух динатуральных трансформаций не обязательно должна быть динатуральной.

См. также

• Сверхъестественная трансформация
• Естественная трансформация

Внешние ссылки

• динатуральная трансформация в n лаборатории