Tight spans, Isbell completions and semi-tropical modules

MaRDI QIDQ2847375zbMATH OpenFDO

Authors Simon Willerton

Publication date 4 September 2013

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

Full work available at URL https://arxiv.org/abs/1302.4370, http://www.emis.de/journals/TAC/volumes/28/22/28-22abs.html

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

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)

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.

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

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)