Mario Román

Home

❯

notes

❯

pieces

❯

associativity for normal opduoidally enriched multicategories

associativity for normal opduoidally enriched multicategories

May 02, 20251 min read

associativity-for-opduoidally-enriched-multicategories

Tags: normal duoidally enriched multicategory

References.

  • Universal Algebra and Effectful Computation (Rajesh, 2023)
  • String Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)

Graph View

Backlinks

  • normal duoidally enriched multicategory

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

  • GitHub
  • ArXiv
  • OrcID