I proved that is the lower adjoint of
.
Also from this follows that preserves all suprema and
preserves all infima.
See Algebraic General Topology and specifically Funcoids and Reloids online article.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I proved that is the lower adjoint of
.
Also from this follows that preserves all suprema and
preserves all infima.
See Algebraic General Topology and specifically Funcoids and Reloids online article.