5 problems
Let be a generic square matrix, and let a double wiring diagram be arbitrary. The chamber-minor Laurent positivity conjecture. Every minor of can be written as a Laurent po…
Admissibility conjecture. If includes no oriented faces, then it is admissible.
Physical-lax-tensor conjecture. The multicategory of wiring diagrams of symmetric monoidal categories is the multicategory induced by the produoidal category of monoidal lenses.
Let be the poset of equivalence classes of lensless wiring diagrams, ordered by breaking crossings, and let be a new minimal element adjoined to . Eulerian…
Let be the singly typed wiring diagrams operad. For a set , let…