Mario Román
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
notes
❯
Produoidal algebra of monoidal contexts
Produoidal algebra of monoidal contexts
Feb 01, 2023
1 min read
Tags:
produoidal category
,
produoidal normalization
Graph View
Backlinks
Normal multicategory of contextual lenses
Monoidal Context Theory, PhD Thesis (Román, 2023)
Monoidal Context Theory, PhD Thesis (Román, 2023)
The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)
