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.
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.