Tight spans, Isbell completions and semi-tropical modules

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.

33 pages

References in corpus (5)

• The magnitude of metric spaces
• Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
• Quantitative Concept Analysis
• On tight spans and tropical polytopes for directed distances
• Idempotent tropical matrices and finite metric spaces

Cited by in corpus (9)

• The Legendre-Fenchel transform from a category theoretic perspective
• Language Modeling with Reduced Densities
• At the Interface of Algebra and Statistics
• Completeness and injectivity
• A Categorical Approach to L-Convexity
• Lambek pregroups are Frobenius spiders in preorders
• Enriched categories and tropical mathematics
• Quotients in monadic programming: Projective algebras are equivalent to coalgebras
• Topological = total