The order-K-ification monads

DOI10.1017/s0960129523000403OpenAlexW4390055335MaRDI QIDQ6149960

Hualin Miao, Qing-Guo Li, Unnamed Author

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

Eilenberg-Moore algebrasdcpos\(k\)-complete posetsorder-\textbf{K}-ification Monad

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Properly injective spaces and function spaces
• Adjoint functors and triples
• Monads on symmetric monoidal closed categories
• Domain-Theoretic Foundations of Functional Programming
• Data Types as Lattices
• A Powerdomain Construction
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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