Lattices do not distribute over powerset

Speaker(s)

Julian Salamanca

Affiliation

Uniwersytet Warszawski

Date

June 3, 2020, 2:15 p.m.

Information about the event

Online seminar

Seminar

Seminar Automata Theory

---

I will show that there is no distributive law of the free lattice
monad over the powerset monad. The proof presented 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.
All the definitions and concepts needed will be given in the talk.

---