Lax distributive laws for topology, II

MaRDI QIDQ4975425zbMATH OpenFDO

Authors Hongliang Lai, Lili Shen, Walter Tholen

Publication date 7 August 2017

Full work available at URL https://arxiv.org/abs/1605.04489, http://www.emis.de/journals/TAC/volumes/32/21/32-21abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

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

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) Categorical structures (18D99)

Abstract: For a small quantaloid $mathcalQ$ we consider four fundamental 2-monads $mathbbT$ on $$, given by the presheaf 2-monad $mathbbP$ and the copresheaf 2-monad $mathbb{P}^{dagger}$, as well as by their two composite 2-monads, and establish that they all laxly distribute over $mathbbP$. These four 2-monads therefore admit lax extensions to the category $$ of $mathcalQ$-categories and their distributors. We characterize the corresponding $(mathbbT,mathcalQ)$-categories in each of the four cases, leading us to both known and novel categorical structures.

Recommendations

• Distributive Laws for Lawvere Theories (Invited Talk)
• Distributive laws for Lawvere theories
• Quantalic topological theories
• Lax distributive laws for topology. I
• scientific article; zbMATH DE number 5302142
• On lax-algebraic (co)nuclei
• A note on the topologicity of quantale-valued topological spaces
• Topological features of Lax algebras
• Distributive laws for relative monads
• Lax algebra meets topology

Cites work

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

Cited in

(6)

• Spreads and the symmetric topos. II
• Quantalic topological theories
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• Completely distributive enriched categories are not always continuous
• Lax distributive laws for topology. I
• Diagonals between \(\mathcal{Q}\)-distributors

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

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