Equilogical spaces and algebras for a double-power monad

DOI10.1515/TMJ-2017-0105MaRDI QIDQ1683371zbMATH OpenOpenAlexFDO

Authors Giulia Frosoni, Giuseppe Rosolini

Publication date 8 December 2017

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

Mathematics Subject Classification ID

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

Recommendations

• Frames and topological algebras for a double-power monad
• Lax algebras via initial monad morphisms: APP, TOP, MET and ORD
• Equilogical spaces
• On Eilenberg-Moore algebras induced by chains
• Sobriety for equilogical spaces

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1231584 (Why is no real title available?)
• scientific article; zbMATH DE number 1330443 (Why is no real title available?)
• scientific article; zbMATH DE number 1088046 (Why is no real title available?)
• scientific article; zbMATH DE number 1770055 (Why is no real title available?)
• scientific article; zbMATH DE number 1770056 (Why is no real title available?)
• A universal characterization of the double powerlocale
• Data Types as Lattices
• Elementary quotient completion
• Equilogical spaces
• Equilogical spaces and algebras for a double-power monad
• Kan extensions in enriched category theory
• Locally cartesian closed exact completions
• Premonoidal categories and notions of computation
• Sobriety for equilogical spaces
• Unifying exact completions

Cited in

(4)

• Raney algebras and duality for T₀-spaces
• Frames and topological algebras for a double-power monad
• On Eilenberg-Moore algebras induced by chains
• Equilogical spaces and algebras for a double-power monad

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

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