I have proved a weird (due its asymmetry) special case of this conjecture:
Theorem. The set of pointfree funcoids between a complete boolean lattice and an atomistic boolean lattice is itself a boolean lattice.
See my blog.
Victor Porton - http://www.mathematics21.org
A special case proved
I have proved a weird (due its asymmetry) special case of this conjecture:
Theorem. The set of pointfree funcoids between a complete boolean lattice and an atomistic boolean lattice is itself a boolean lattice.
See my blog.
Victor Porton - http://www.mathematics21.org