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.

Leave a Reply

Your email address will not be published. Required fields are marked *