I’ve forgotten this conjecture when wrote Funcoids and Reloids article:

Conjecture $latex (\mathsf{RLD})_{\mathrm{in}} (g\circ f) = (\mathsf{RLD})_{\mathrm{in}} g\circ(\mathsf{RLD})_{\mathrm{in}} f$ for every composable funcoids $latex f$ and $latex g$.

Now this important conjecture is in its place in the article.

I am going also to spend some time attempting to prove it.

One Response

Leave a Reply

Your email address will not be published. Required fields are marked *