Transformación dinatural

En la teoría de categorías , una rama de las matemáticas , una transformación dinatural entre dos funtores${\estilo de visualización \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 ${\estilo de visualización c}$${\estilo de visualización C}$

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

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

desplazamientos. ^[1]

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

• Transformación extranatural
• Transformación natural

• Transformación dinatural en el laboratorio n