The enriched Vietoris monad on representable spaces

DOI10.1016/J.JPAA.2014.04.002zbMATH Open1315.18007arXiv1212.5539OpenAlexW2962743434MaRDI QIDQ2249254FDOQ2249254

Dirk Hofmann

Publication date: 10 July 2014

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the "up-set monad" on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock-Z"oberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our "up-set monad". We emphasize that these generic categorical notions and results can be indeed connected to more "classical" topology: for topological spaces, the "up-set monad" becomes the upper Vietoris monad, and the statement "$X$ is totally cocomplete if and only if $X^{m}athrmop$ is totally complete" specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces.

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

Recommendations

• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Injective spaces via adjunction
• Convergence and quantale-enriched categories
• Lax algebras via initial monad morphisms: APP, TOP, MET and ORD
• The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical methods in general topology (54B30)

Cites Work

• Prime Ideal Structure in Commutative Rings
• Abstract and concrete categories: the joy of cats
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Properly injective spaces and function spaces
• Title not available (Why is that?)
• Variation through enrichment
• Representable multicategories
• Metric, topology and multicategory -- a common approach
• Ordered topological structures
• Stably compact spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Approximation in quantale-enriched categories
• Title not available (Why is that?)
• Relational algebras
• Injective spaces via adjunction
• Stone coalgebras
• A Kleisli-based approach to lax algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological features of Lax algebras
• General function spaces, products and continuous lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lawvere completeness in topology
• A couple of triples
• Topological theories and closed objects
• Sober approach spaces
• Stably compact spaces and the probabilistic powerspace construction
• Duality for distributive spaces
• Relative injectivity as cocompleteness for a class of distributors
• Approach Spaces A Common Supercategory of TOP and MET
• Approaching metric domains
• Title not available (Why is that?)
• Lawvere completion and separation via closure
• Topology and duality in modal logic
• Effective descent morphisms in categories of lax algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Remarks on Priestley duality for distributive lattices
• Constructive complete distributivity. IV
• Title not available (Why is that?)
• A coalgebraic view of Heyting duality
• Extensions in the theory of lax algebras
• Towards Stone duality for topological theories
• From coherent structures to universal properties
• Title not available (Why is that?)
• Domains occur among spaces as strict algebras among lax
• Coalgebraic representations of distributive lattices with operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributive lattices with an operator

Cited In (13)

• Dualities for modal algebras from the point of view of triples
• Convergence and quantale-enriched categories
• The Vietoris monad and weak distributive laws
• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Cartesian closed exact completions in topology
• Enriched Stone-type dualities
• Quantale-Enriched Multicategories Via Actions
• Title not available (Why is that?)
• Compactly generated spaces and quasi-spaces in topology
• Injective hulls of quantale-enriched multicategories
• Stone duality, topological algebra, and recognition.
• Duality theory for enriched Priestley spaces
• On generalized equilogical spaces

This page was built for publication: The enriched Vietoris monad on representable spaces

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