7 problems

Simple-connectivity conjecture. Filling in these $8$-cycles is enough to make the complex simply connected.

Let $M$ be a generic square matrix, and let a double wiring diagram be arbitrary. The chamber-minor Laurent positivity conjecture. Every minor of $M$ can be written as a Laurent po…

Admissibility conjecture. If $G$ 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.

Wiring-diagram multicategory conjecture. The multicategory of wiring diagrams is precisely the produoidal category of lenses once dependencies are no longer tracked explicitly.

Let $W_n$ be the poset of equivalence classes of lensless wiring diagrams, ordered by breaking crossings, and let $\widehat{0}$ be a new minimal element adjoined to $W_n$. Eulerian…

Let $\mathcal{S}$ be the singly typed wiring diagrams operad. For a set $A\in\operatorname{Ob}({\bf Set})$, let…