1 problem

Positivity correspondence conjecture. The monad $T$ is positive if and only if its Kleisli category $\mathrm{Kl}_T$ is positive.