Transformación dinatural

Generalización de transformaciones naturales

En la teoría de categorías , una rama de las matemáticas , una transformación dinatural entre dos funtores ${\displaystyle \alpha }$

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

escrito

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

es una función que a cada objeto de asocia una flecha ${\displaystyle c}$ ${\displaystyle C}$

${\displaystyle \alpha _{c}:S(c,c)\to T(c,c)}$de ${\displaystyle D}$

y satisface la siguiente propiedad de coherencia : para cada morfismo del diagrama ${\displaystyle f:c\to c'}$ ${\displaystyle C}$

desplazamientos. ^[1]

La composición de dos transformaciones dinaturales no necesita ser dinatural.

Véase también

• Transformación extranatural
• Transformación natural

Referencias

1. Mac Lane, Saunders (2013). Categorías para el matemático en activo . Springer Science & Business Media. pág. 218.

Enlaces externos

• Transformación dinatural en el laboratorio n