# Embedding reloids into funcoids

I have codified my idea how to embed reloids into funcoids in this draft article.

Next I am going to attempt to solve some of my conjectures using this embedding. I will announce in this blog how solving the open problems goes.

For the moment, I have also noticed a new problem:

Conjecture $\rho \bigsqcap F = \bigsqcap \langle \rho \rangle F$ for a set $F$ of reloids (having the same sources and destinations).

## One comment

1. As for now, I failed to prove any conjectures with this method. The method nevertheless seems to be promising anyway.