On the completion monad via the Yoneda embedding in quasi-uniform spaces

DOI10.1016/J.TOPOL.2011.01.026MaRDI QIDQ645207zbMATH OpenOpenAlexFDO

Authors Maria Manuel Clementino, Dirk Hofmann

Publication date 8 November 2011

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2011.01.026

zbMATH Keywords

Cauchy complete quasi-uniform spaceCauchy completionpromoduleprorelationquasi-uniform spaceYoneda embedding

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Categorical methods in general topology (54B30) Uniform structures and generalizations (54E15)

Review text

The authors make use of a presentation of quasi-uniform spaces as generalized enriched categories. They describe the category of quasi-uniform spaces and uniformly continuous maps as a category of lax proalgebras. This approach allows them to define categorical concepts and apply categorical techniques in the study of quasi-uniformities. In particular they construct a Yoneda embedding for quasi-uniform spaces which allows them to construct the Cauchy completion in the language of modules. This turns out to be related to the theory of scales of (uniform) spaces introduced by Bushaw.

Recommendations

• Enriched categories and quasi-uniform spaces
• The application of enriched category in L-quasi-uniformity
• scientific article; zbMATH DE number 426304
• Completions of non-symmetric metric spaces via enriched categories
• scientific article; zbMATH DE number 1292175

Cites work

• A stability criterion for general systems
• An introduction to quasi-uniform spaces
• Enriched categories and quasi-uniform spaces
• scientific article; zbMATH DE number 3913224 (Why is no real title available?)
• scientific article; zbMATH DE number 40507 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 2236038 (Why is no real title available?)
• Injective spaces via adjunction
• Lawvere completeness in topology
• Lawvere completion and separation via closure
• On the scale of a uniform space
• One setting for all: Metric, topology, uniformity, approach structure
• Relative injectivity as cocompleteness for a class of distributors
• The scale of a quasi-uniform space
• Topological features of Lax algebras

Cited in

(15)

• Yoneda completion via a dcpo completion of its poset of formal balls
• Constructing a quasi-uniform function space
• The \(\top\)-filter monad and its applications
• Separated and prime compactifications
• Applications of Scott-closed sets in convex structures
• Completeness in probabilistic quasi-uniform spaces
• Enriched categories and quasi-uniform spaces
• The application of enriched category in L-quasi-uniformity
• scientific article; zbMATH DE number 3913224 (Why is no real title available?)
• scientific article; zbMATH DE number 3946420 (Why is no real title available?)
• scientific article; zbMATH DE number 4067161 (Why is no real title available?)
• Quasi-convergence spaces and biconvergence spaces
• Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
• Quantale-valued convex structures as lax algebras
• The Scott open V-set monad and its categories of algebras

This page was built for publication: On the completion monad via the Yoneda embedding in quasi-uniform spaces

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