Characterising E-projectives via Comonads

DOI10.1017/S0960129515000183zbMath1375.18016OpenAlexW2604404102MaRDI QIDQ2971116

Weng Kin Ho

Publication date: 4 April 2017

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

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

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cites Work

• A uniform approach to inductive posets and inductive closure
• Projective and supercoherent frames
• Properly injective spaces and function spaces
• \({\mathcal Z}\)-continuous posets and their topological manifestation
• Monads for which structures are adjoint to units
• Projective and injective distributive lattices
• Projectives and injectives in the category of complete lattices with residuated mappings
• On projective Z-frames
• Continuous Lattices and Domains
• Injective locales over perfect embeddings and algebras of the upper powerlocale monad
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characterising E-projectives via Comonads