Funtor Monoidal

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.