![](/files/happy5.png)
Outward reloid of composition vs composition of outward reloids
Conjecture For every composable funcoids
and
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
![$$(\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq(\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}}f.$$](/files/tex/84f69b164792549ff2f890d3c9dfe23addb9c1ac.png)
See Algebraic General Topology for definitions of used concepts.
Bibliography
* indicates original appearance(s) of problem.
Recomm. for undergrads: no |
Posted | by: | porton |
on: | September 10th, 2016 |
See Algebraic General Topology for definitions of used concepts.