premulticategory

Last updated Oct 14, 2024

Tags: multicategory, premonoidal category.

References.

• Universal Properties of Impure Programming Languages (Staton, Levy)
• Universal Algebra and Effectful Computation (Rajesh, 2023)