I’ve proved the following statements (and put them in my book):
Domain of funcoids preserves joins.
Image of funcoids preserves joins.
Domain of reloids preserves joins.
Image of reloids preserves joins.
I’ve proved it using Galois connections.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I’ve proved the following statements (and put them in my book):
Domain of funcoids preserves joins.
Image of funcoids preserves joins.
Domain of reloids preserves joins.
Image of reloids preserves joins.
I’ve proved it using Galois connections.