The order-K-ification monads

DOI10.1017/S0960129523000403MaRDI QIDQ6149960zbMATH OpenOpenAlexFDO

Authors Hualin Miao, Qingguo Li

Publication date 5 March 2024

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129523000403

zbMATH Keywords

\(k\)-complete posetsdcposEilenberg-Moore algebrasorder-\textbf{K}-ification Monad

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A Powerdomain Construction
• Adjoint functors and triples
• Continuous Lattices and Domains
• Data Types as Lattices
• Domain-Theoretic Foundations of Functional Programming
• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3768575 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• Monads on symmetric monoidal closed categories
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Properly injective spaces and function spaces
• The Ho-Zhao problem

This page was built for publication: The order-K-ification monads

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