Don't have Telegram yet? Try it now!
https://blog.mathematics21.org/2019/11/07/every-pointfree-funcoid-is-an-algebraic-structure/
Every Pointfree Funcoid on a Semilattice is an Algebraic Structure