Equilogical spaces and algebras for a double-power monad
From MaRDI portal
Publication:1683371
DOI10.1515/TMJ-2017-0105zbMATH Open1425.18002OpenAlexW2768990372MaRDI QIDQ1683371FDOQ1683371
Authors: 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
Recommendations
Frames, locales (06D22) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical methods in general topology (54B30)
Cites Work
- Title not available (Why is that?)
- A universal characterization of the double powerlocale
- Elementary quotient completion
- Premonoidal categories and notions of computation
- Title not available (Why is that?)
- Data Types as Lattices
- Title not available (Why is that?)
- Equilogical spaces
- Kan extensions in enriched category theory
- Locally cartesian closed exact completions
- Sobriety for equilogical spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unifying exact completions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equilogical spaces and algebras for a double-power monad
Cited In (4)
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)