Skip to content

While writing my book I forgot to settle the following conjecture:

Conjecture $\forall H \in \mathrm{up} (g \circ f) \exists F \in \mathrm{up}\, f, G \in \mathrm{up}\, g : H \sqsupseteq G \circ F$ for every composable funcoids $f$ and $g$.

Note that the similar statement about reloids is quite obvious.

Advertisements

#### 2 Comments

Leave a Comment
1. porton / Jul 17 2016 20:45

I have added this conjecture to the book.

2. porton / Dec 22 2017 16:05

This site uses Akismet to reduce spam. Learn how your comment data is processed.