Mario Román

❯

❯

❯

Universal Algebra and Effectful Computation (Rajesh, 2023)

Universal Algebra and Effectful Computation (Rajesh, 2023)

May 02, 20251 min read

multicategory - premulticategory
normal duoidally enriched multicategory
arrow category

Graph View

Backlinks

funny tensor of the arrow category
arrow category is monoidal
arrow category
associativity for normal opduoidally enriched multicategories
premulticategory
normal duoidally enriched multicategory

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID