Distributivity of Gamma-reloid over composition of funcoids (Solved)

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

The conjecture is true. See this online article for the proof.

See Algebraic General Topology for definitions of used concepts.


*Victor Porton. Algebraic General Topology

* indicates original appearance(s) of problem.