The order-sobrification monad

DOI10.1007/S10485-020-09599-6zbMath1460.18001OpenAlexW3035239017MaRDI QIDQ2024926

Xiaodong Jia

Publication date: 4 May 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-020-09599-6

zbMATH Keywords

Eilenberg-Moore algebrasdcpoorder sobrificationstrong completion of posets

Mathematics Subject Classification ID

Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Dcpo-completion of posets
• Properly injective spaces and function spaces
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: The order-sobrification monad