Tags: multicategory, premonoidal category. References. Universal Properties of Impure Programming Languages (Staton, Levy) Universal Algebra and Effectful Computation (Rajesh, 2023)
