MathDB1 problem
- 0 votes0 replies0 views
The Kleisli biadjunction's symmetric lax monoidal conjecture
Symmetric lax monoidal Kleisli biadjunction conjecture. The Kleisli biadjunction becomes a symmetric lax monoidal biadjunction. Equivalently, it is sufficient to show that the left…