Funcoidal products inside an inward reloid

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Keywords: inward reloid
Recomm. for undergrads: no
Posted by: porton
on: January 1st, 2012
Conjecture   (solved) If $ a \times^{\mathsf{\ensuremath{\operatorname{RLD}}}} b \subseteq \left( \mathsf{\ensuremath{\operatorname{RLD}}} \right)_{\ensuremath{\operatorname{in}}} f $ then $ a \times^{\mathsf{\ensuremath{\operatorname{FCD}}}} b \subseteq f $ for every funcoid $ f $ and atomic f.o. $ a $ and $ b $ on the source and destination of $ f $ correspondingly.

A stronger conjecture:

Conjecture   If $ \mathcal{A} \times^{\mathsf{\ensuremath{\operatorname{RLD}}}} \mathcal{B} \subseteq \left( \mathsf{\ensuremath{\operatorname{RLD}}} \right)_{\ensuremath{\operatorname{in}}} f $ then $ \mathcal{A} \times^{\mathsf{\ensuremath{\operatorname{FCD}}}} \mathcal{B} \subseteq f $ for every funcoid $ f $ and $ \mathcal{A} \in \mathfrak{F} \left( \ensuremath{\operatorname{Src}}f \right) $, $ \mathcal{B} \in \mathfrak{F} \left( \ensuremath{\operatorname{Dst}}f \right) $.

See Algebraic General Topology for definitions of used concepts.


*Victor Porton. Algebraic General Topology

* indicates original appearance(s) of problem.