Back to Search
Start Over
Lattices do not distribute over powerset
- Source :
- Algebra universalis. 81
- Publication Year :
- 2020
- Publisher :
- Springer Science and Business Media LLC, 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.
- Subjects :
- Pure mathematics
Algebra and Number Theory
Distributive property
Monad (non-standard analysis)
High Energy Physics::Lattice
Computer Science::Logic in Computer Science
Mathematics::Category Theory
Bounded function
Computer Science::Mathematical Software
Free lattice
Computer Science::Formal Languages and Automata Theory
Mathematics
Subjects
Details
- ISSN :
- 14208911 and 00025240
- Volume :
- 81
- Database :
- OpenAIRE
- Journal :
- Algebra universalis
- Accession number :
- edsair.doi...........158f75284909d4bbfe77def8e4d8a94b