I have proved (the proof is currently available in this file) that $((\mathsf{FCD}), (\mathsf{RLD})_{\mathrm{in}})$ are components of a pointfree funcoid between boolean lattices.

See my book for definitions.

#### One Comment

1. porton / Jun 28 2018 23:15

I’ve corrected several error in the proof.

This site uses Akismet to reduce spam. Learn how your comment data is processed.