[Paper Review] Tight spans, Isbell completions and semi-tropical modules

Simon Willerton|arXiv (Cornell University)|Feb 18, 2013

Homotopy and Cohomology in Algebraic Topology19 references22 citations

TL;DR

This paper establishes a categorical equivalence between the Isbell completion of a generalized metric space and the directed tight span of Hirai and Koichi, showing that the Isbell completion is both complete and cocomplete in the enriched category-theoretic sense. It further demonstrates that the Isbell completion admits two distinct semi-tropical module structures, linking categorical completeness to tropical algebraic structures.

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.

Motivation & Objective

• To understand the tight span construction in metric spaces through the lens of enriched category theory.
• To establish a categorical analogue of the tight span via Isbell's completion construction for generalized metric spaces.
• To explore the connection between categorical completeness (limits and colimits) and semi-tropical module structures.
• To show that the Isbell completion is both complete and cocomplete, and thus supports semi-tropical module actions.
• To unify classical metric space constructions with enriched category-theoretic tools, particularly in the context of weighted limits and colimits.

Proposed method

• Formalizes generalized metric spaces as [0,∞]-enriched categories, where distances are non-negative extended reals without symmetry.
• Defines the Isbell completion I(X) as the fixed set of the Isbell adjunction between presheaves and op-co-presheaves on X.
• Represents points in I(X) as pairs (f,g) of functions X→[0,∞] satisfying duality conditions: f(x) + g(y) ≥ d(x,y) and f(x) + g(x) ≥ 0.
• Uses the Yoneda embedding Y: X → X̂ to embed X into the category of presheaves X̂, and constructs a retraction RL: X̂ → I(X).
• Applies weighted limits and colimits in enriched category theory to define categorical completeness and cocompleteness.
• Shows that the Isbell completion inherits semi-tropical module structures via actions on the space of op-co-presheaves, with one structure dual to the other.

Experimental results

Research questions

• RQ1 How does the Isbell completion of a generalized metric space relate to the classical tight span construction?
• RQ2 Can the categorical notions of completeness and cocompleteness in enriched categories be linked to semi-tropical algebraic structures?
• RQ3 Does the Isbell completion of a generalized metric space admit a semi-tropical module structure, and if so, how many?
• RQ4 What is the role of weighted colimits and limits in characterizing the Isbell completion as a bicompletion?
• RQ5 How does the Yoneda embedding interact with categorical continuity and cocontinuity in the context of the Isbell completion?

Key findings

• The Isbell completion I(X) of a generalized metric space X is isometric to the directed tight span of Hirai and Koichi, establishing a categorical equivalence.
• The Isbell completion is both complete and cocomplete in the enriched category-theoretic sense, meaning all weighted limits and colimits exist.
• The Yoneda embedding X → I(X) is both continuous and cocontinuous, confirming that I(X) is a bicompletion of X.
• The Isbell completion admits two distinct semi-tropical module structures: one from the presheaf side and one from the op-co-presheaf side.
• The metric semi-tropical action on I(X) arises from the action of the semi-tropical semiring on the space of op-co-presheaves.
• For a skeletal generalized metric space, finite completeness is equivalent to the existence of a metric semi-tropical module structure.