Lax distributive laws for topology. I

MaRDI QIDQ5226827zbMATH OpenFDO

Authors Walter Tholen

Publication date 1 August 2019

Full work available at URL https://arxiv.org/abs/1603.06251, http://cahierstgdc.com/wp-content/uploads/2019/07/THOLEN_LX-3.pdf

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)

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.

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

Cited in

(14)

• Commutative monads as a theory of distributions
• The Vietoris monad and weak distributive laws
• Quantales, generalised premetrics and free locales
• Lax distributive laws for topology, II
• 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

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)