4 views

1 Answers

Suppose that {\displaystyle } and {\displaystyle } are two monoidal categories. A monoidal adjunction between two lax monoidal functors

is an adjunction {\displaystyle } between the underlying functors, such that the natural transformations

are monoidal natural transformations.

4 views

Related Questions

What is Monoidal t-norm logic?
1 Answers 8 Views
What is Quillen adjunction?
1 Answers 4 Views