The double power monad is the composite power monad

DOI10.1016/J.FSS.2016.04.013zbMATH Open1390.18020OpenAlexW2186456475MaRDI QIDQ2398038FDOQ2398038

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

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

zbMATH Keywords

category theorynon-classical logicsfuzzy preorders

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Completeness and injectivity
• Lax distributive laws for topology, II
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• Quantale-Enriched Multicategories Via Actions
• Topological categories, quantaloids and Isbell adjunctions
• Title not available (Why is that?)
• Fuzzy Galois connections on fuzzy sets
• On the Logic of Generalised Metric Spaces
• Completely distributive enriched categories are not always continuous

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)