 ##  [Transformación Natural](/es/node/59346) 

  ##  [Transformación Natural](https://natural.quantumdictionary.io/es/node/59347) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definición

Una familia de morfismos (llamadas componentes) η_X : F(X) → G(X) indexada por los objetos X de una categoría fuente, que conecta dos funtores F,G : C → D, tal que para todo morfismo f : X → Y en C el cuadrado G(f) ∘ η_X = η_Y ∘ F(f) conmuta. Expresa una aplicación coherente, por objeto, entre funtores.

 
 ##  [Transformación Natural](https://mathlogic.quantumdictionary.io/es/node/61091) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definición

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.

 
 ##  [Transformación Natural](https://puremath.quantumdictionary.io/es/node/61592) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Definición

Una familia de morfismos entre dos funtores F y G con la misma categoría fuente C y la misma categoría destino D: para cada objeto X de C una componente η_X : F(X) → G(X) tal que para todo morfismo f:X→Y el cuadrado G(f) ∘ η_X = η_Y ∘ F(f) (la condición de naturalidad) conmuta.