MathDB1 problem
Matching
Physical-lax-tensor conjecture. The multicategory of wiring diagrams of symmetric monoidal categories is the multicategory induced by the produoidal category of 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.