Distributivity of inward reloid over composition of funcoids (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Recomm. for undergrads: no
Posted by: porton
on: December 31st, 2011
Solved by: Porton, Victor
Conjecture   $ ( \mathsf{\tmop{RLD}})_{\tmop{in}} (g \circ f) = ( \mathsf{\tmop{RLD}})_{\tmop{in}} g \circ ( \mathsf{\tmop{RLD}})_{\tmop{in}} f $ for any composable funcoids $ f $ and $ g $.

See Algebraic General Topology for definitions of used concepts.

See a proof in this online article.


*Victor Porton. Algebraic General Topology

* indicates original appearance(s) of problem.