Lax distributive laws for topology, II

zbMath1374.18011arXiv1605.04489MaRDI QIDQ4975425

Lili Shen, Walter Tholen, Hongliang Lai

Publication date: 7 August 2017

Full work available at URL: https://arxiv.org/abs/1605.04489

zbMATH Keywords

monaddouble presheaf monadquantaloidpresheaf monad\(\mathcal{Q}\)-closure space\(\mathcal{Q}\)-interior spacecopresheaf monaddouble copresheaf monadLax \(\lambda\)-algebraLax distributive lawLax monad extension

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical structures (18D99) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (4)

Completely distributive enriched categories are not always continuous ⋮ Quantalic topological theories ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An introduction to quantaloid-enriched categories
• Sheaves on involutive quantales: Grothendieck quantales.
• Quantale-valued preorders: globalization and cocompleteness.
• Preordered sets valued in a GL-monoid
• A non-commutative and non-idempotent theory of quantale sets
• Elements of generalized ultrametric domain theory
• Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory
• On the categorical meaning of Hausdorff and Gromov distances. I.
• Lawvere completeness in topology
• Sheaves on sites as Cauchy-complete categories
• Doctrines on 2-categories
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• The formal theory of monads. II
• Monads for which structures are adjoint to units
• Ordered topological structures
• The double power monad is the composite power monad
• The formal theory of monads
• Topological categories, quantaloids and Isbell adjunctions
• Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
• Monoidal Topology
• Partial Metric Spaces
• An extension of the Galois theory of Grothendieck
• Limits and colimits of quantaloid-enriched categories and their distributors
• 'Hausdorff distance' via conical cocompletion
• Metric spaces, generalized logic, and closed categories
• Partial Metric Topology
• Lax Distributive Laws for Topology, I

This page was built for publication: Lax distributive laws for topology, II