I have proved the conjecture that $latex S^{\ast}(\mu)\circ S^{\ast}(\mu)=S^{\ast}(\mu)$ for every endoreloid $latex \mu$. The easy proof is currently available in this file.
I have proved the conjecture that $latex S^{\ast}(\mu)\circ S^{\ast}(\mu)=S^{\ast}(\mu)$ for every endoreloid $latex \mu$. The easy proof is currently available in this file.