Mario Román

❯

❯

❯

Produoidal algebra of monoidal contexts

Produoidal algebra of monoidal contexts

Apr 29, 20251 min read

produoidal-algebra-of-monoidal-contexts

Tags: produoidal category, produoidal normalization

Graph View

Backlinks

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

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

GitHub
ArXiv
OrcID