A new theorem and a conjecture

I’ve just proved the following:

Theorem for every funcoid .

For a proof see this online article.

I’ve also posed the conjecture:

Conjecture is the upper adjoint of for every sets , .