Lattices do not distribute over powerset
- Prelegent(ci)
- Julian Salamanca
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 3 czerwca 2020 14:15
- Informacje na temat wydarzenia
- Online seminar
- Seminarium
- Seminarium „Teoria automatów”
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.