Skip to content
September 21, 2013 / porton

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).

Advertisements

One Comment

Leave a Comment
  1. porton / Sep 22 2013 17:46

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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: