I have proved (the proof is currently available in this file) that are components of a pointfree funcoid between boolean lattices.
See my book for definitions.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I have proved (the proof is currently available in this file) that are components of a pointfree funcoid between boolean lattices.
See my book for definitions.
I’ve corrected several error in the proof.