Injective spaces via adjunction

DOI10.1016/J.JPAA.2010.04.021zbMATH Open1228.18001arXiv0804.0326OpenAlexW2964344094WikidataQ114155502 ScholiaQ114155502MaRDI QIDQ615891FDOQ615891

Authors: Dirk Hofmann 

Publication date: 7 January 2011

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

Abstract: Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence relation $mathfrakxox$ between ultrafilters and points of a topological space $X$ as arrows in $X$. Naturally, this point of view opens the door to the use of concepts and ideas from (enriched) Category Theory for the investigation of (for instance) topological spaces. In this paper we study cocompleteness, adjoint functors and Kan extensions in the context of topological theories. We show that the cocomplete spaces are precisely the injective spaces, and they are algebras for a suitable monad on $SET$. This way we obtain enriched versions of known results about injective topological spaces and continuous lattices.

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

Recommendations

• The enriched Vietoris monad on representable spaces
• Relative injectivity as cocompleteness for a class of distributors
• Ordered topological structures
• Topological categories, quantaloids and Isbell adjunctions
• scientific article; zbMATH DE number 1498617

zbMATH Keywords

monadquantaletopological theory

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Categorical methods in general topology (54B30) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07)

Cites Work

• Quantitative continuous domains
• Abstract and concrete categories: the joy of cats
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Continuity spaces: Reconciling domains and metric spaces
• Monads for which structures are adjoint to units
• Title not available (Why is that?)
• Title not available (Why is that?)
• Variation through enrichment
• One setting for all: Metric, topology, uniformity, approach structure
• Metric, topology and multicategory -- a common approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational algebras
• Title not available (Why is that?)
• Filter Monads, Continuous Lattices and Closure Systems
• Title not available (Why is that?)
• Topological features of Lax algebras
• Lawvere completeness in topology
• Topological theories and closed objects
• Title not available (Why is that?)
• Lawvere completion and separation via closure
• Effective descent morphisms in categories of lax algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic description of regular epimorphisms in topology
• Title not available (Why is that?)

Cited In (24)

• Completeness and injectivity
• Approaching metric domains
• Lawvere completeness in topology
• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Scott approach distance on metric spaces
• Title not available (Why is that?)
• Cartesian closed exact completions in topology
• Approximation in quantale-enriched categories
• Order-adjoint monads and injective objects
• Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
• A four for the price of one duality principle for distributive spaces
• Compactly generated spaces and quasi-spaces in topology
• Title not available (Why is that?)
• Morita equivalence for many-sorted enriched theories
• Title not available (Why is that?)
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• Quantale-enriched multicategories via actions
• On presheaf submonads of quantale-enriched categories
• Injective hulls of quantale-enriched multicategories
• The enriched Vietoris monad on representable spaces
• Sober metric approach spaces
• On the completion monad via the Yoneda embedding in quasi-uniform spaces
• Title not available (Why is that?)
• On generalized equilogical spaces

This page was built for publication: Injective spaces via adjunction

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