Supóngase que y son dos categorías monoidales . Una adjunción monoidal entre dos funtores monoidales laxos
- y
es una adjunción entre los funtores subyacentes, de modo que las transformaciones naturales
- y
son transformaciones naturales monoidales .
Elevación de adjuntos a adjuntos monoidales
Supongamos que
es un funtor monoidal laxo tal que el funtor subyacente tiene un adjunto derecho . Esta adjuntación se eleva a una adjuntación monoidal ⊣ si y solo si el funtor monoidal laxo es fuerte.
Véase también
- Cada adjunción monoidal ⊣ define una mónada monoidal .
Referencias