Funcoids and Reloids – updated

My online article Funcoids and Reloids as well as my list of open problems are updated.

Added two open problems:

1. (\mathsf{RLD})_{\mathrm{in}} is not a lower adjoint (in general)?
2. (\mathsf{RLD})_{\mathrm{out}} is neither a lower adjoint nor an upper adjoint (in general)?

Also added an example proving that “(\mathsf{FCD}) does not preserve finite meets” and its consequence “(\mathsf{FCD}) is not an upper adjoint (in general)”.

There are other minor changes.

Leave a Reply