Mario Román

❯

❯

Produoidal algebra of monoidal contexts

Produoidal algebra of monoidal contexts

Jul 24, 20251 min read

produoidal-algebra-of-monoidal-contexts

Tags: produoidal category, produoidal normalization

Graph View

Backlinks

Normal multicategory of contextual lenses
Monoidal Context Theory, PhD Thesis (Román, 2023)
The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)

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

GitHub
ArXiv
OrcID