1 problem

Let $\mathsf{Q}$ be a commutative and divisible quantale, also known as a GL-monoid, and let $\mathsf{Q}\text{-}\mathbf{Set}$ be the category of $\mathsf{Q}$-sets and left adjoint…