Monoidal adjunction
Suppose that and are two monoidal categories. A monoidal adjunction between two lax monoidal functors
- and
is an adjunction between the underlying functors, such that the natural transformations
- and
Lifting adjunctions to monoidal adjunctions
Suppose that
is a lax monoidal functor such that the underlying functor has a right adjoint . This adjunction lifts to a monoidal adjunction ⊣ if and only if the lax monoidal functor is strong.
gollark: Glowiness is NOT worth a worse GPU/CPU.
gollark: Why RGB memory?
gollark: Since you seem to be buying this very slowly, it might be worth waiting for navi and zen2.
gollark: I put in the CX450M, which I have. It has good reviews, is semi-modular, and is from a decent brand.
gollark: https://uk.pcpartpicker.com/list/TwghpG
See also
- Every monoidal adjunction ⊣ defines a monoidal monad .
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.