Monoidal adjunction

A monoidal adjunction is an adjunction in mathematics between monoidal categories which respects the monoidal structure.^[1]^[2]^[3]

Suppose that $({\mathcal {C}},\otimes ,I)$ and $({\mathcal {D}},\bullet ,J)$ are two monoidal categories. A monoidal adjunction between two lax monoidal functors

(F,m):({\mathcal {C}},\otimes ,I)\to ({\mathcal {D}},\bullet ,J)

and

(G,n):({\mathcal {D}},\bullet ,J)\to ({\mathcal {C}},\otimes ,I)

is an adjunction $(F,G,\eta ,\varepsilon )$ between the underlying functors, such that the natural transformations

\eta :1_{\mathcal {C}}\Rightarrow G\circ F

and

\varepsilon :F\circ G\Rightarrow 1_{\mathcal {D}}

are monoidal natural transformations.

Lifting adjunctions to monoidal adjunctions

Suppose that

(F,m):({\mathcal {C}},\otimes ,I)\to ({\mathcal {D}},\bullet ,J)

is a lax monoidal functor such that the underlying functor $F:{\mathcal {C}}\to {\mathcal {D}}$ has a right adjoint $G:{\mathcal {D}}\to {\mathcal {C}}$ . This adjunction lifts to a monoidal adjunction $(F,m)$ ⊣ $(G,n)$ if and only if the lax monoidal functor $(F,m)$ is strong.

References

^ "monoidal adjunction". nlab. Retrieved 2024-12-23.
^ Lindner, Harald (1978). "Adjunctions in monoidal categories". Manuscripta Mathematica. 26 (1–2): 123–139. doi:10.1007/BF01167969. ISSN 0025-2611.
^ Hasegawa, Masahito (2012-12-06). Models of Sharing Graphs. London: Springer Science & Business Media. p. 64. ISBN 978-1-4471-0865-8.

[m560-1] "monoidal adjunction". nlab. Retrieved 2024-12-23.

[k469-2] Lindner, Harald (1978). "Adjunctions in monoidal categories". Manuscripta Mathematica. 26 (1–2): 123–139. doi:10.1007/BF01167969. ISSN 0025-2611.

[k058-3] Hasegawa, Masahito (2012-12-06). Models of Sharing Graphs. London: Springer Science & Business Media. p. 64. ISBN 978-1-4471-0865-8.

[1]

[2]

[3]

Fahrer / Team für die Suche eingeben:

Fahrer / Team für die Suche eingeben:

Langbahn Team – Weltmeisterschaft

Monoidal adjunction

Lifting adjunctions to monoidal adjunctions

See also

References