Una familia de morfismos entre dos funtores con el mismo dominio y codominio, indexada por los objetos de la categoría de dominio, tal que para cada morfismo del dominio conmuta un cuadrado de naturalidad; proporciona una comparación canónica y que preserva la estructura entre interpretaciones functoriales.

Principio

Una transformación natural asigna a cada objeto una componente morfismo en el codominio, y la asignación debe conmutar con la acción de los funtores sobre cada flecha de la categoría de dominio: esta condición de conmutación es la naturalidad.

Demostración

Dados dos funtores F,G: C → D, una transformación natural η: F ⇒ G consiste en flechas η_X: F(X) → G(X) en D para cada objeto X de C, y para cualquier f: X → Y en C se cumple G(f) ∘ η_X = η_Y ∘ F(f); por ejemplo, si F y G asignan a cada tipo su conjunto de términos bajo dos interpretaciones, η da una familia de funciones que preservan la interpretación entre los modelos.

Aplicación incorrecta

Usar asignaciones por componentes que no satisfacen la conmutación de naturalidad como si fueran transformaciones naturales rompe la coherencia functorial e impide razonar composicionalmente sobre transformaciones entre modelos.

Consecuencia

Las transformaciones naturales son morfismos en categorías de funtores, permiten comparar modelos respetando la estructura sintáctica y se componen vertical y horizontalmente para formar estructuras categóricas superiores como isomorfismos naturales.

Inversión

Invertir la perspectiva considerando los fallos de naturalidad como informativos: las componentes no conmutativas exponen obstrucciones, dependencias paramétricas o distinciones contextuales entre interpretaciones en lugar de simples errores a ignorar.

Límite

Se aplica solo entre funtores que comparten dominio y codominio; excluye familias arbitrarias de morfismos indexadas por otros conjuntos o familias que solo satisfacen condiciones de coherencia más débiles (p. ej., transformaciones dinaturales o laxas).

Tensión semántica

Próxima a las transformaciones por componentes en programación o álgebra pero distinta porque las transformaciones naturales requieren conmutar con la acción de los funtores; la tensión surge cuando un mapeo por componentes parece útil pero no es natural, obligando a elegir entre conveniencia local y coherencia global.

Síntesis

Una transformación natural relaciona de forma sistemática dos interpretaciones functoriales proveyendo morfismos por objeto cuya compatibilidad con cada flecha de la categoría fuente asegura un puente coherente que preserva la estructura entre los funtores.