Generalised powerlocales via relation lifting

DOI10.1017/S0960129512000229zbMath1268.54004arXiv1202.3264MaRDI QIDQ4911306

Steven Vickers, Jacob Vosmaer, Yde Venema

Publication date: 14 March 2013

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

Full work available at URL: https://arxiv.org/abs/1202.3264

zbMATH Keywords

hyperspacelocaleframecoalgebraic logicrelation liftinggeometric logicpowerlocaleframe presentation

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25) Frames, locales (06D22) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

Coalgebraic Geometric Logic: Basic Theory

Cites Work

• Structural induction and coinduction in a fibrational setting
• Coalgebraic logic
• A universal characterization of the double powerlocale
• Universal coalgebra: A theory of systems
• Automata and fixed point logic: a coalgebraic perspective
• The formal theory of monads
• Compactness in locales and in formal topology
• Complementation of Coalgebra Automata
• Automata for the modal μ-calculus and related results
• Nabla Algebras and Chu Spaces
• Constructive points of powerlocales
• Presenting Dcpos and Dcpo Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalised powerlocales via relation lifting