I have proved (the proof is currently available in this file) that $latex ((\mathsf{FCD}), (\mathsf{RLD})_{\mathrm{in}})$ are components of a pointfree funcoid between boolean lattices.
See my book for definitions.
Several math research monographies
I have proved (the proof is currently available in this file) that $latex ((\mathsf{FCD}), (\mathsf{RLD})_{\mathrm{in}})$ are components of a pointfree funcoid between boolean lattices.
See my book for definitions.
I’ve corrected several error in the proof.