quasitotal preorder gives a monoidal enrichmentLast updated Aug 28, 2024Tags: partial Markov category, partial Markov - quasitotal preorder.
