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
,
.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
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
,
.
I have also proved that
is neither upper nor lower adjoint of
(see the same online article above).