Equilogical spaces and algebras for a double-power monad

DOI10.1515/TMJ-2017-0105zbMath1425.18002OpenAlexW2768990372MaRDI QIDQ1683371

Giulia Frosoni, Giuseppe Rosolini

Publication date: 8 December 2017

Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/tmj-2017-0105

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Frames, locales (06D22) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (2)

Unnamed Item ⋮ Equilogical spaces and algebras for a double-power monad

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A universal characterization of the double powerlocale
• Locally cartesian closed exact completions
• Equilogical spaces and algebras for a double-power monad
• Equilogical spaces
• Sobriety for equilogical spaces
• Unifying exact completions
• Kan extensions in enriched category theory
• Elementary quotient completion
• Data Types as Lattices
• Premonoidal categories and notions of computation

This page was built for publication: Equilogical spaces and algebras for a double-power monad