![](/files/happy5.png)
Conjecture
for every composable funcoids
and
.
![$ \forall H \in \operatorname{up} (g \circ f) \exists F \in \operatorname{up} f, G \in \operatorname{up} g : H \sqsupseteq G \circ F $](/files/tex/145d32f0a6448ea3d98f9b091370160956ba4532.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
There is now a counterexample in Algebraic General Topology book.
Bibliography
*Victor Porton. A blog post
* indicates original appearance(s) of problem.
Importance: Medium ✭✭ |
Author(s): | Porton, Victor |
Subject: | Topology |
Keywords: | composition of funcoids |
funcoids |
Recomm. for undergrads: no |
Posted | by: | porton |
on: | July 12th, 2016 |
Solved by: | Porton, Victor |
There is now a counterexample in Algebraic General Topology book.
*Victor Porton. A blog post