arxiv: 2605.03487 · v2 · submitted 2026-05-05 · 🧮 math.AT · math.CT

Recognition: 4 theorem links

· Lean Theorem

Weighted algebraic topology, II (Real valued metrics)

Marco Grandis

Pith reviewed 2026-05-08 18:42 UTC · model grok-4.3

classification 🧮 math.AT math.CT

keywords relative metricsenriched categoriesweighted algebraic topologyspecial relativitydirected algebraic topologypotential functionsextended real linemonoidal closed category

0 comments

The pith

Relative metrics extend Lawvere spaces to enriched categories over the extended reals, measuring profits and losses in processes including a relative antimetric on special-relativity spacetime.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines relative metrics as enriched categories whose hom-objects take values in the extended real line, treated as a symmetric monoidal closed category with its order and addition. This setup formalizes the measurement of directional profits and losses for any process. Linear relative metrics are shown to arise directly from potential functions. The spacetime of special relativity receives such a structure, specifically a relative antimetric extracted from the metric tensor, in the same manner that a Riemannian manifold receives an ordinary metric from its tensor. The construction forms part of a series developing weighted algebraic topology as an enrichment of directed algebraic topology.

Core claim

Relative metrics are enriched categories over the extended real line viewed as a symmetric monoidal closed category. Linear relative metrics derive from a potential function. The spacetime of special relativity can be given a relative antimetric derived from the metric tensor, much in the same way as a Riemannian manifold gets an ordinary metric.

What carries the argument

Relative metrics as categories enriched over the symmetric monoidal closed category given by the extended real line with its order and addition.

If this is right

Linear relative metrics arise directly from potential functions on the underlying space.
Any process can be assigned quantitative profit and loss values through the enriched hom-objects.
Special-relativity spacetime receives a relative antimetric derived from its metric tensor.
Directed algebraic topology acquires a weighted version in which paths carry measurable gains and losses.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same enrichment could supply quantitative invariants for directed topological spaces that ordinary directed homology misses.
Applications to economics or thermodynamics may follow by interpreting the profit values as energy differences along paths.
The forthcoming refinement for quotient spaces may show how relative metrics descend under identifications such as those defining spheres.

Load-bearing premise

The extended real line with its order and addition forms a symmetric monoidal closed category suitable for enrichment that faithfully captures intended profit and loss measurements without additional structure.

What would settle it

Compute the explicit relative antimetric on Minkowski spacetime and test whether it assigns positive loss precisely to timelike intervals in a way that contradicts the standard causal structure of special relativity.

read the original abstract

Extending the `metric spaces' of Lawvere, we study `real metrics', with values in the extended real line. Formally, this ordered set is a symmetric monoidal closed category, and our structures are enriched categories on the latter. Concretely, the present goal is measuring `profits' and `losses' of a process, in any sense - possibly related to energy, or a variable in any science. In particular, linear real metrics derive from a potential function. This article is Part II in a series devoted to `weighted algebraic topology' - an enriched version of directed algebraic topology, where paths are measured. Part III will introduce a finer framework, more adequate to `quotient spaces' (as the spheres) and better related to topology.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Relative metrics extend Lawvere to signed values with a relativity sketch, but the antimetric claim rests on unshown details about the monoidal structure.

read the letter

This paper defines relative metrics valued in the extended reals to track signed quantities like profits or losses along paths, then sketches an antimetric on Minkowski spacetime pulled from the Lorentz tensor, much like the usual metric on a Riemannian manifold. The extension from Lawvere's framework is the main new piece: negatives and infinity are allowed so the enrichment can handle directed or weighted measurements that go both ways. The linear case derived from a potential function is straightforward, and the relativity example gives a concrete link to physics that is not in the earlier citations. That part is worth having on record for people working in weighted algebraic topology. The soft spots sit in the monoidal closed structure. The abstract asserts that the extended reals with addition and the usual order form a symmetric monoidal closed category suitable for enrichment, yet supplies no explicit verification of the internal hom or the triangle inequality once signs flip. The stress-test point is on target here: the Lorentz form is indefinite, so the induced values change sign across timelike, null, and spacelike separations. It is unclear whether the standard order and addition still give an internal hom that correctly encodes the required comparisons without reversing inequalities or adding extra structure for the antimetric case. If that adjustment is needed, the construction no longer follows directly from the same data as the positive Riemannian version. The paper is aimed at readers already comfortable with enriched categories and directed algebraic topology. Someone who knows Lawvere's metric spaces will see the extension quickly and may find the relativity application useful as an illustration. The citation pattern is clean and non-circular. I would bring it to a reading group on categorical topology or enriched structures, but I would not cite it in my own work in the next year unless the closed-structure details are filled in. It deserves peer review because the definitions are new and the application is genuine; a referee can check whether the enrichment axioms hold for the indefinite case.

Referee Report

2 major / 2 minor

Summary. The manuscript extends Lawvere's metric spaces by introducing relative metrics valued in the extended real line, which is treated as a symmetric monoidal closed category under addition and the standard order; the structures are defined as enriched categories over this base. Linear relative metrics are derived from potential functions, and the central application asserts that the Minkowski spacetime of special relativity admits a relative antimetric induced by the Lorentz metric tensor, in direct analogy with the construction of ordinary metrics on Riemannian manifolds from their metric tensors. The work is positioned as Part II of a series on weighted algebraic topology.

Significance. If the enrichment axioms and the antimetric construction are verified, the framework supplies a categorical language for signed profit/loss measurements that could apply across sciences, including an extension of directed algebraic topology to indefinite signatures. The explicit link to the Lorentz form is a concrete test case that, if successful, would distinguish the relative-metric approach from positive-definite Lawvere metrics.

major comments (2)

[Abstract] Abstract and the definition of relative metrics: the claim that (ℝ̄, +, 0, ≤) is symmetric monoidal closed is asserted without an explicit construction of the tensor, unitors, or internal hom; these data are load-bearing for the enrichment inequality that defines relative metrics and antimetric.
[Special relativity application] The special-relativity paragraph (and the corresponding construction section): the Lorentz metric tensor is said to induce a relative antimetric whose values lie in ℝ̄ and whose composition obeys the enrichment inequality. Because the Lorentz form is indefinite, the induced quantities change sign across timelike, null, and spacelike separations; the manuscript supplies no explicit verification that the monoidal closed structure on ℝ̄ still yields a correct internal hom and triangle inequality in the appropriate direction for each case.

minor comments (2)

[Abstract] The abstract refers to 'Part III' but does not indicate how the present definitions will be refined for quotient spaces; a brief forward pointer would help readers.
[Main text] Notation for the antimetric (as opposed to metric) is introduced only informally; a dedicated definition or equation would clarify the sign-reversal convention.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and insightful comments on our manuscript. We address each major comment below and indicate the revisions we will make to strengthen the paper.

read point-by-point responses

Referee: [Abstract] Abstract and the definition of relative metrics: the claim that (ℝ̄, +, 0, ≤) is symmetric monoidal closed is asserted without an explicit construction of the tensor, unitors, or internal hom; these data are load-bearing for the enrichment inequality that defines relative metrics and antimetric.

Authors: We agree with the referee that providing an explicit construction of the symmetric monoidal closed structure on (ℝ̄, +, 0, ≤) will clarify the foundations. In the revised version of the manuscript, we will add a dedicated subsection detailing the tensor product (addition), the unit (0), the associativity and unit isomorphisms (which are identities), and the internal hom defined via subtraction adjusted for the extended reals. This will directly support the enrichment axioms used in the definition of relative metrics and antimetric. revision: yes
Referee: [Special relativity application] The special-relativity paragraph (and the corresponding construction section): the Lorentz metric tensor is said to induce a relative antimetric whose values lie in ℝ̄ and whose composition obeys the enrichment inequality. Because the Lorentz form is indefinite, the induced quantities change sign across timelike, null, and spacelike separations; the manuscript supplies no explicit verification that the monoidal closed structure on ℝ̄ still yields a correct internal hom and triangle inequality in the appropriate direction for each case.

Authors: The referee correctly notes the absence of explicit verification in the current text. We will expand the special relativity section in the revision to include a detailed verification. Specifically, we will compute the relative antimetric for each type of separation (timelike, null, spacelike) and confirm that the composition respects the enrichment inequality using the monoidal closed structure on ℝ̄. The allowance for negative values in the antimetric is intentional to capture the indefinite signature, and the triangle inequality holds in the enriched sense without requiring case-specific adjustments to the internal hom. revision: yes

Circularity Check

0 steps flagged

No significant circularity: relative metrics introduced by explicit definition

full rationale

The paper defines relative metrics as enriched categories over the symmetric monoidal closed category (ℝ̄, +, 0, ≤). The linear case is stated to derive from a potential function and the Minkowski spacetime case is constructed directly from the Lorentz tensor by the same enrichment procedure used for ordinary metrics on Riemannian manifolds. No equations reduce a claimed prediction to a fitted parameter by construction, no load-bearing self-citation chain is invoked to justify the central enrichment, and no uniqueness theorem or ansatz is smuggled in from prior author work. The framework is presented as a definitional extension of Lawvere metrics rather than a derived result that collapses to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The construction rests on the claim that the extended real line is symmetric monoidal closed under addition and a suitable internal hom; no free parameters are introduced, but the suitability of this base category is taken as given without proof in the abstract.

axioms (1)

domain assumption The extended real line with its order, addition, and a suitable internal hom forms a symmetric monoidal closed category.
Invoked to justify enrichment; stated in the abstract as the formal setting but not verified here.

invented entities (2)

relative metric no independent evidence
purpose: To record both positive and negative distances (profits and losses) along paths.
New structure defined by enrichment over the extended reals.
relative antimetric no independent evidence
purpose: To allow signed distances derived from the Minkowski metric tensor.
Introduced specifically for the relativity example.

pith-pipeline@v0.9.0 · 5454 in / 1276 out tokens · 36702 ms · 2026-05-08T18:42:57.863681+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean (washburn_uniqueness_aczel) washburn_uniqueness_aczel unclear
We now replace w+ by a larger structure w based on the extended real line R = [−∞,∞]. ... A μ-metric space, or relative metric space, is thus a small category X enriched on w. ... μ(x, y) + μ(y, z) ⩾ μ(x, z), 0 ⩾ μ(x, x).
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection (additive vs bilinear branch) echoes
More generally, a linear μ-metric on a set X (finite and satisfying the 'triangular identity') can be expressed as the variation μ(x, y) = φ(y) − φ(x) of an arbitrary function φ : X → R, called the potential of μ.
IndisputableMonolith/Foundation/RealityFromDistinction.lean (spacetime emergence with Lorentzian signature (1,3)) reality_from_one_distinction unclear
The spacetime of special relativity can be given a relative metric (or better a relative 'antimetric') derived from the metric tensor... γ(v) = sqrt(v_1^2 − ||⃗v||^2) if v ∈ Λ, and ∞ otherwise.
IndisputableMonolith/Cost.lean (J-cost as ratio-symmetric reciprocal cost) Jcost = ½(x+x⁻¹)−1 unclear
We are also interested in distinguishing ascent and descent... μ(p1, p2) = y2 − y1, μ+(p1, p2) = max(y2 − y1, 0) ⩾ 0.