Mario Román

❯

❯

Produoidal algebra of monoidal contexts

Produoidal algebra of monoidal contexts

Feb 01, 20231 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 (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID