Completeness and injectivity

DOI10.1016/J.TOPOL.2020.107503MaRDI QIDQ820640zbMATH OpenOpenAlexWikidataFDO

Authors Soichiro Fujii

Publication date 27 September 2021

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

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

zbMATH Keywords

enriched categoryhyperconvex hullinjective envelopeinjective objectMacNeille completionquantaletight span

Mathematics Subject Classification ID

Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20) Metric spaces, metrizability (54E35)

Abstract: We show that for any quantale $mathcalQ$, a $mathcalQ$-category is skeletal and complete if and only if it is injective with respect to fully faithful $mathcalQ$-functors. This is a special case of known theorems due to Hofmann and Stubbe, but we provide a different proof, using the characterisation of the MacNeille completion of a $mathcalQ$-category as its injective envelope. For Lawvere metric spaces, our results yield those of Kemajou, K"unzi and Otafudu. We point out that their notion of Isbell convexity can be seen as a geometric formulation of categorical completeness for Lawvere metric spaces.

Recommendations

• scientific article; zbMATH DE number 55902
• The completion of a quantum B-algebra
• Injective hulls of quantale-enriched multicategories
• Lawvere completeness in topology
• scientific article; zbMATH DE number 3961923

Cites work

• Categorial characterization of the MacNeille completion
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
• Duality and separation theorems in idempotent semimodules.
• Extension of uniformly continuous transformations and hyperconvex metric spaces
• Fixed points of adjoint functors enriched in a quantaloid
• scientific article; zbMATH DE number 3962727 (Why is no real title available?)
• scientific article; zbMATH DE number 4030272 (Why is no real title available?)
• scientific article; zbMATH DE number 3522810 (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 2172965 (Why is no real title available?)
• Hyperconvex hulls of metric spaces
• Idempotent functional analysis: An algebraic approach
• Initial completions
• Injective hulls are not natural.
• Injective spaces via adjunction
• On tight spans for directed distances
• Partially Ordered Sets
• Quantaloids, enriched categories and automata theory
• Six theorems about injective metric spaces
• The core of adjoint functors
• The double power monad is the composite power monad
• The Isbell-hull of a di-space
• The ultra-quasi-metrically injective hull of a T₀-ultra-quasi-metric space
• Tight spans, Isbell completions and semi-tropical modules
• Topological categories, quantaloids and Isbell adjunctions
• Topological functors as total categories
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal{Q}\)-categories
• Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces
• Variation through enrichment

Cited in

(4)

• Completeness of cocompletions
• Injective hulls of quantale-enriched multicategories
• Injective symmetric quantaloid-enriched categories
• On stability of ultrametrically injective hulls

This page was built for publication: Completeness and injectivity

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