Quotient-freeness conjecture for relational wiring-diagram algebras
Let S\mathcal{S}S be the singly typed wiring diagrams operad. For a set A∈Ob(Set)A\in\operatorname{Ob}({\bf Set})A∈Ob(Set), let…