1 problem

0 votes0 replies0 views
The physical-lax-tensor conjecture for wiring diagrams and monoidal lenses
Physical-lax-tensor conjecture. The multicategory of wiring diagrams of symmetric monoidal categories is the multicategory induced by the produoidal category of monoidal lenses.
Conjectureopenmonoidal-lenses produoidal-categories wiring-diagramsarXiv posted 2 days ago

The physical-lax-tensor conjecture for wiring diagrams and monoidal lenses