Duality for distributive spaces

MaRDI QIDQ2847354zbMATH OpenFDO

Authors Dirk Hofmann

Publication date 4 September 2013

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.3892, http://www.emis.de/journals/TAC/volumes/28/3/28-03abs.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

algebraic spaceapproach spacecocompletenessdistributive spacedistributivitydualitymodulequantale-enriched categorytopological spaceultrafilter monad

Mathematics Subject Classification ID

Frames, locales (06D22) Ordered topological structures (06F30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Topological spaces and generalizations (closure spaces, etc.) (54A05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Categorical methods in general topology (54B30)

Abstract: The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered sets. Both notions (suitably adapted) are available in topology too, which permits us to investigate topological, metric and other kinds of spaces in a similar spirit. Therefore, relative to a choice $Phi$ of modules, we consider spaces which admit all colimits with weight in $Phi$, as well as (suitably defined) $Phi$-distributive and $Phi$-algebraic spaces. We show that the category of $Phi$-distributive spaces and $Phi$-colimit preserving maps is dually equivalent to the idempotent splitting completion of a category of spaces and convergence relations between them. We explain the connection of these results to the traditional duality of spaces with frames, and conclude further duality theorems. Finally, we study properties and structures of the resulting categories, in particular monoidal (closed) structures.

Recommendations

• A four for the price of one duality principle for distributive spaces
• Stone style duality for distributive nearlattices
• Categorical duality theory: with applications to domains, convexity, and the distribution monad
• Many for the price of one duality principle for affine sets
• Categorically-algebraic frameworks for Priestley duality

Cited in

(19)

• Enriched Stone-type dualities
• Scott approach distance on metric spaces
• Duality theory for enriched Priestley spaces
• The enriched Vietoris monad on representable spaces
• A four for the price of one duality principle for distributive spaces
• Categorical duality theory: with applications to domains, convexity, and the distribution monad
• Mereocompactness and Duality for Mereotopological Spaces
• Approaching metric domains
• Convergence and quantale-enriched categories
• Regularity vs. constructive complete (co)distributivity
• Completely distributive enriched categories are not always continuous
• Approximation in quantale-enriched categories
• Coorbit spaces for dual pairs
• Distribution algebras and duality
• Continuous \([0,1]\)-lattices and injective \([0,1]\)-approach spaces
• Bounded complete J-algebraic lattices
• Many for the price of one duality principle for affine sets
• Topological duality for distributive Ockham algebras
• Representable \((\mathbb{T},\mathbf{V})\)-categories

This page was built for publication: Duality for distributive spaces

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