Lattices do not distribute over powerset
Julián Salamanca Téllez · Algebra Universalis · 2020
Abstract We show that there is no distributive law of the free lattice monad over the powerset monad. The proof presented here also works for other classes of lattices such as (bounded) distributive/modular lattices and also for some variants of the powerset monad such as the (nonempty) finite powerset monad.