Another conjecture about reloids and funcoids

Importance: Medium ✭✭

Author(s):

Subject:

Keywords:

Recomm. for undergrads: no

Posted	by:	porton
	on:	November 28th, 2014

Definition $\square f = \bigcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f$ for reloid $f$ .

Conjecture $(\mathsf{RLD})_{\Gamma} f = \square (\mathsf{RLD})_{\mathrm{in}} f$ for every funcoid $f$ .

Note: it is known that $(\mathsf{RLD})_{\Gamma} f \ne \square (\mathsf{RLD})_{\mathrm{out}} f$ (see below mentioned online article).

It's used notation from Algebraic General Topology draft book, modified by this note about new notation for a future version of this book.

Bibliography

* indicates original appearance(s) of problem.