The double power monad is the composite power monad

DOI10.1016/J.FSS.2016.04.013MaRDI QIDQ2398038zbMATH OpenOpenAlexFDO

Authors Isar Stubbe

Publication date 15 August 2017

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2016.04.013

zbMATH Keywords

category theorynon-classical logicsfuzzy preorders

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07)

Recommendations

• Categories enriched over a quantaloid: algebras
• When are enriched strong monads double exponential monads?
• Frames and topological algebras for a double-power monad
• On presheaf submonads of quantale-enriched categories
• Lax distributive laws for topology. I

Cites work

• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• scientific article; zbMATH DE number 764338 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• A non-commutative and non-idempotent theory of quantale sets
• A treatise on many-valued logics
• An introduction to quantaloid-enriched categories
• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Categories enriched over a quantaloid: algebras
• Doctrines on 2-categories
• Metric spaces, generalized logic, and closed categories
• Monads for which structures are adjoint to units
• Preordered sets valued in a GL-monoid
• Properly injective spaces and function spaces
• Quantale-valued preorders: globalization and cocompleteness.
• Sheaves on sites as Cauchy-complete categories
• Similarity relations and fuzzy orderings
• The core of adjoint functors
• Topology from enrichment: the curious case of partial metrics
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories

Cited in

(11)

• Completeness and injectivity
• Lax distributive laws for topology, II
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• Topological categories, quantaloids and Isbell adjunctions
• Fuzzy Galois connections on fuzzy sets
• Quantale-enriched multicategories via actions
• The powerset monad on quantale-valued sets
• Algebraic representations of (fuzzy) completely distributive lattices
• Injective symmetric quantaloid-enriched categories
• Completely distributive enriched categories are not always continuous
• On the logic of generalised metric spaces

This page was built for publication: The double power monad is the composite power monad

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