Transformación dinatural

---

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

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

---