The (candidate) construction of direct product in the category of continuous maps between endo-funcoids

Consider the category of (proximally) continuous maps (entirely defined monovalued functions) between endo-funcoids.

Remind from my book that morphisms of this category are defined by the formula (here and below by abuse of notation I equate functions with corresponding principal funcoids).

Let are endofuncoids,

We define

(here and are cartesian projections).

Conjecture The above defines categorical direct product (in the above mentioned category, with products of morphisms the same as in Set).

This conjecture is probably the single most important conjecture in general topology. Please help me to solve it.

Earlier I conjectured that sub-atomic product of funcoids or displaced product of funcoids are categorical direct products. But the product introduced in this blog post is (in my opinion) the most important of all different products of funcoids, the candidate for “canonical” product of funcoids.

We can apply the same considerations also to reloids (and uniformly continuous maps between them).

I conjectured that .

This has turned out to be false, see

http://math.stackexchange.com/questions/480785/some-inequalities-about-binary-relations