Lattices do not distribute over powerset

DOI10.1007/S00012-020-00680-8MaRDI QIDQ2200477zbMATH OpenOpenAlexFDO

Authors Julián Salamanca Téllez

Publication date 22 September 2020

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00012-020-00680-8

zbMATH Keywords

latticemonadsdistributive lawscomplete semilatticepowerset

Mathematics Subject Classification ID

Semilattices (06A12) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Natural morphisms, dinatural morphisms (18A23) Free lattices, projective lattices, word problems (06B25)

Recommendations

• scientific article; zbMATH DE number 4031931
• scientific article; zbMATH DE number 713431
• scientific article; zbMATH DE number 2170810
• Lattices isomorphic with their free powers
• Weak distributive laws and their role in free lattices

Cites work

• scientific article; zbMATH DE number 758787 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Distributing probability over non-determinism
• Generalizing determinization from automata to coalgebras
• Identities for globals (complex algebras) of algebras
• Iterated covariant powerset is not a monad
• Relation lifting, a survey
• The validity of equations of complex algebras
• Trace semantics for coalgebras

This page was built for publication: Lattices do not distribute over powerset

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200477)