Outward reloid of composition vs composition of outward reloids

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Keywords: outward reloid
Recomm. for undergrads: no
Posted by: porton
on: September 10th, 2016
Conjecture   For every composable funcoids $ f $ and $ g $ $$(\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq(\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}}f.$$

See Algebraic General Topology for definitions of used concepts.

Bibliography

* Blog post


* indicates original appearance(s) of problem.