Tight spans, Isbell completions and semi-tropical modules

zbMATH Open1283.54023arXiv1302.4370MaRDI QIDQ2847375FDOQ2847375

Authors: Simon Willerton 

Publication date: 4 September 2013

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: In this paper we consider the categorical Isbell completion construction for generalized metric spaces in the sense of Lawvere. We show that this is an analogue of the tight span construction of classical metric spaces, and that the Isbell completion coincides with the directed tight span of Hirai and Koichi. The notions of categorical completion and cocompletion are related to the existence of semi-tropical module structure, and it is shown that the Isbell completion (hence the directed tight span) has two different semi-tropical module structures.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• On tight spans for directed distances
• Hyperconvexity and tight-span theory for diversities
• Extensions of ultrametric spaces
• scientific article; zbMATH DE number 2222240
• The tight span of an antipodal metric space. I: combinatorial properties

zbMATH Keywords

metric spacesinjective hulltight spantropical algebraIsbell completionpresheave spacesuniversal cocompletion

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semirings (16Y60) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categorical methods in general topology (54B30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Enriched categories (over closed or monoidal categories) (18D20) Presheaves and sheaves in general topology (54B40)

Cited In (10)

• Completeness and injectivity
• Isbell conjugacy and the reflexive completion
• Endpoints in \(T_0\)-quasi-metric spaces
• Endpoints in \(T_0\)-quasimetric spaces. II.
• The topology of a quantale valued metric space
• A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space
• An enriched category theory of language: from syntax to semantics
• The vector lattice structure on the Isbell-convex hull of an asymmetrically normed real vector space
• Duality as a category-theoretic concept
• Injective symmetric quantaloid-enriched categories

This page was built for publication: Tight spans, Isbell completions and semi-tropical modules

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