Injective spaces via adjunction

DOI10.1016/J.JPAA.2010.04.021MaRDI QIDQ615891zbMATH OpenOpenAlexWikidataFDO

Authors Dirk Hofmann

Publication date 7 January 2011

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3179491 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1021635 (Why is no real title available?)
• scientific article; zbMATH DE number 2062331 (Why is no real title available?)
• scientific article; zbMATH DE number 2068083 (Why is no real title available?)
• scientific article; zbMATH DE number 2068087 (Why is no real title available?)
• scientific article; zbMATH DE number 1463530 (Why is no real title available?)
• scientific article; zbMATH DE number 1498617 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 3220364 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• scientific article; zbMATH DE number 3389217 (Why is no real title available?)
• scientific article; zbMATH DE number 2236038 (Why is no real title available?)
• Abstract and concrete categories: the joy of cats
• An algebraic description of regular epimorphisms in topology
• Continuity spaces: Reconciling domains and metric spaces
• Effective descent morphisms in categories of lax algebras
• Filter Monads, Continuous Lattices and Closure Systems
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Lawvere completeness in topology
• Lawvere completion and separation via closure
• Metric, topology and multicategory -- a common approach
• Monads for which structures are adjoint to units
• One setting for all: Metric, topology, uniformity, approach structure
• Quantitative continuous domains
• Relational algebras
• Topological features of Lax algebras
• Topological theories and closed objects
• Variation through enrichment

Cited in

(24)

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

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)