Lattices do not distribute over powerset

DOI10.1007/S00012-020-00680-8zbMATH Open1467.18002OpenAlexW3083376852MaRDI QIDQ2200477FDOQ2200477

Authors: Julián Salamanca Téllez 

Publication date: 22 September 2020

Published in: Algebra Universalis (Search for Journal in Brave)

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

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

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)

Cites Work

• Trace semantics for coalgebras
• Title not available (Why is that?)
• Distributing probability over non-determinism
• Title not available (Why is that?)
• Relation lifting, a survey
• The validity of equations of complex algebras
• Title not available (Why is that?)
• Identities for globals (complex algebras) of algebras
• Generalizing determinization from automata to coalgebras
• Iterated covariant powerset is not a monad

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)