Lax distributive laws for topology. I

zbMATH Open1423.18027arXiv1603.06251MaRDI QIDQ5226827FDOQ5226827

Authors: Walter Tholen 

Publication date: 1 August 2019

Abstract: For a quantaloid $mathcalQ$, considered as a bicategory, Walters introduced categories enriched in $mathcalQ$. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing monad-quantaloid-enriched categories. We do so by making lax distributive laws of a monad $mathbbT$ over the discrete presheaf monad of the small quantaloid $mathcalQ$ the primary data of the theory, rather than the lax monad extensions of $mathbbT$ to the category of $mathcalQ$-relations that they equivalently describe. The central piece of the paper establishes a Galois correspondence between such lax distributive laws and lax Eilenberg-Moore $mathbbT$-algebra structures on the set of discrete presheaves over the object set of $mathcalQ$. We give a precise comparison of these structures with the more restrictive notion introduced by Hofmann in the case of a commutative quantale, called natural topological theories here, and describe the lax monad extensions introduced by him as minimal. Throughout the paper, a variety of old and new examples of ordered, metric and topological structures illustrate the theory developed, which includes the consideration of algebraic functors and change-of-base functors in full generality.

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

Recommendations

• Lax distributive laws for topology, II
• scientific article; zbMATH DE number 2172965
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• On presheaf submonads of quantale-enriched categories
• Quantalic topological theories

zbMATH Keywords

monadquantalequantaloidtopological theorylax algebralax monad extensiondiscrete presheaf monadlax distributive lawmonad-quantaloid-enriched category

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Enriched categories (over closed or monoidal categories) (18D20)

Cited In (14)

• The Vietoris monad and weak distributive laws
• Lax distributive laws for topology, II
• Quantales, generalised premetrics and free locales
• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Distributive laws via admissibility
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• The double power monad is the composite power monad
• Monoids with quantale-valued preorders: globalizations and localizations
• Diagonals between \(\mathcal{Q}\)-distributors
• On presheaf submonads of quantale-enriched categories
• Quantalic topological theories
• Lawvere completeness as a topological property
• Topology from enrichment: the curious case of partial metrics
• Commutative monads as a theory of distributions

This page was built for publication: Lax distributive laws for topology. I

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