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 between ultrafilters and points of a topological space as arrows in . 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 . This way we obtain enriched versions of known results about injective topological spaces and continuous lattices.
Recommendations
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)- On generalized equilogical spaces
- 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
- Cartesian closed exact completions in topology
- scientific article; zbMATH DE number 774084 (Why is no real title available?)
- Approximation in quantale-enriched categories
- Order-adjoint monads and injective objects
- A four for the price of one duality principle for distributive spaces
- Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
- Compactly generated spaces and quasi-spaces in topology
- Morita equivalence for many-sorted enriched theories
- scientific article; zbMATH DE number 7646807 (Why is no real title available?)
- Representable \((\mathbb{T},\mathbf{V})\)-categories
- Quantale-enriched multicategories via actions
- Injective hulls of quantale-enriched multicategories
- On presheaf submonads of quantale-enriched categories
- The enriched Vietoris monad on representable spaces
- Sober metric approach spaces
- On the completion monad via the Yoneda embedding in quasi-uniform spaces
- scientific article; zbMATH DE number 1539336 (Why is no real title available?)
- Injective symmetric quantaloid-enriched 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)
