Universal Algebra and Effectful Computation (Rajesh, 2023)

Last updated Oct 7, 2024

• multicategory - premulticategory
• normal duoidally enriched multicategory
• arrow category