Math Research of Victor Porton

I found (a rather trivial) counter-example to one conjecture I considered in the past:

Example $latex (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) f \neq f$ for some convex reloid $latex f$.

Proof Let $latex f = (=)$. Then $latex (\mathsf{FCD}) f = (=)$. Let $latex a$ is some nontrivial atomic filter object. Then $latex (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) (=) \supseteq a \times^{\mathsf{FCD}} a \nsubseteq (=)$ and thus $latex (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) (=) \nsubseteq (=)$.

Before I found the last counter-example, I was thinking that $latex (\mathsf{FCD})$ is an isomorphism from the set of of funcoids to the set of convex reloids. As this conjecture failed, we need an other way to characterize the set of reloids isomorphic to funcoids.

The first thing we need to check is whether $latex (\mathsf{RLD})_{\mathrm{in}}$ is an injection. Maybe this is a simple problem (or maybe it is hard) but I haven’t thought about it yet.