##  [Funtor Monoidal](/es/node/63749) 

  ##  [Funtor Monoidal](https://algebra.quantumdictionary.io/es/node/63750) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Un funtor F entre dos categorías monoidales (C, ⊗, I) y (D, ⊗', I') equipado con una colección especificada de mapas estructurales: una transformación natural φ_{A,B}: F(A) ⊗' F(B) → F(A ⊗ B) y un mapa unidad φ_0: I' → F(I), que satisfacen diagramas de coherencia (asociatividad y unidad). Existen variantes estrictas, fuertes (φ invertibles), lax y oplax.