In my book I introduced concepts of funcoids and reloids.
To every funcoid $latex f$ it corresponds a reloid $latex (\mathsf{RLD})_{\mathrm{in}}f$. This allows to represent a funcoid as a reloid.
Today I had the thought that it would be good also to represent a reloid as a funcoid.
After not so long thinking I realized: It can be done!
Let $latex f$ is a reloid. Then there is a funcoid $latex g$ conforming to the formula $latex \langle g\rangle x = f\circ x$.
This is a very simple idea, but very much promising. It seems that using this idea would be able to understand deep properties of reloids.
It’s weird that I have not considered this simple idea earlier.
2 Responses