pith. sign in

arxiv: 2605.18088 · v1 · pith:DAA3DNEFnew · submitted 2026-05-18 · 🧮 math.CT · math-ph· math.MP

Enriched categories, real metrics and Lorentz manifolds

Marco Grandis This is my paper

Pith reviewed 2026-05-20 00:12 UTC · model grok-4.3

classification 🧮 math.CT math-phmath.MP
keywords enriched categoriesLorentz manifoldsantimetricspacetime geometryreal metricsmonoidal categoriescausality
0
0 comments X

The pith

Lorentz manifolds admit an antimetric that makes them categories enriched over the extended real line.

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

The paper shows that the spacetime metric of relativity can be replaced by an equivalent antimetric function whose values mark causal relationships between events. This antimetric is positive inside the future light cone, zero on the light cone, and negative infinity outside any causal influence. The construction treats the space of events as a category enriched over the extended real line equipped with its natural addition and order. A sympathetic reader would care because the same structure supplies a single formal setting for both the metric properties and the causal structure of spacetime.

Core claim

The spacetime of relativity can be given a real valued antimetric γ(x, y) = −ρ(x, y) satisfying a reverse triangle inequality. As a function of y, γ(x, y) is positive on the timecone of x, annihilates on its lightcone, and is −∞ on all events which cannot be influenced by x. All this can be given a base in category theory by viewing a space with a real valued metric as an enriched category on the extended real line, structured as a symmetric monoidal closed category.

What carries the argument

The antimetric γ(x, y) valued in the extended reals that satisfies the reverse triangle inequality and thereby supplies the hom-objects for the enriched category of spacetime events.

Load-bearing premise

The extended real line with its usual addition and order forms a symmetric monoidal closed category that matches the causal and metric properties of spacetime.

What would settle it

A pair of events in Minkowski space whose antimetric values violate the reverse triangle inequality when compared with the monoidal addition on the extended reals would show the enrichment does not hold.

read the original abstract

This expository article brings together two subjects: generalised metrics based on enriched categories, on the one hand, and Lorentz manifolds, on the other, at the price of dealing with details that are well known either in category theory or in relativity. The spacetime of relativity can be given a real valued metric $\rho(x, y)$, with values in the extended real line, or better (if equivalently) a real valued `antimetric' $\gamma(x, y) = - \rho(x, y)$ (satisfying a reverse triangle inequality); the latter, as a function of $y$, is positive on the timecone of $x$, annihilates on its lightcone, and is $- \infty$ on all events which cannot be influenced by $x$. All this can be given a well-established base in category theory, extending Lawvere's notion of a metric space. In fact, a space with a real valued metric can be viewed as an enriched category on the extended real line, structured as a symmetric monoidal closed category.

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.

Referee Report

1 major / 1 minor

Summary. This expository manuscript connects enriched category theory to Lorentzian geometry by interpreting the antimetric γ on a spacetime manifold (positive inside the time cone, zero on the light cone, and −∞ outside the causal future) as the hom-objects of a category enriched over the extended real line, equipped with a symmetric monoidal closed structure whose tensor is addition; this extends Lawvere’s metric-space enrichment to the reverse-triangle setting of relativity.

Significance. The synthesis, if the base category is rigorously defined, supplies a categorical language for causal structure that may prove useful for future work at the interface of category theory and general relativity. The manuscript correctly recalls standard facts about Lawvere metrics and the sign-reversed triangle inequality, and its expository character makes the connection accessible without introducing new technical machinery.

major comments (1)
  1. [Abstract and the paragraph introducing the monoidal structure on the extended reals] The central claim requires the extended real line (including both +∞ and −∞) to carry a symmetric monoidal closed structure with tensor given by addition and internal hom [a,b] ≅ b − a. Addition is not total: (+∞) + (−∞) is indeterminate. Because γ takes the value −∞ on events outside the causal future of x, such indeterminate expressions arise directly in the definition of enriched composition and the internal-hom adjunction. The manuscript does not specify a convention that restores associativity, unitality, or a well-defined closed structure; this is load-bearing for the enrichment statement.
minor comments (1)
  1. A short pointer to the precise reference for Lawvere’s original enrichment (e.g., the 1973 paper or the standard treatment in Kelly’s book) would help readers who are not already familiar with the metric-space case.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying this foundational technical point. We address it directly below.

read point-by-point responses

  1. Referee: [Abstract and the paragraph introducing the monoidal structure on the extended reals] The central claim requires the extended real line (including both +∞ and −∞) to carry a symmetric monoidal closed structure with tensor given by addition and internal hom [a,b] ≅ b − a. Addition is not total: (+∞) + (−∞) is indeterminate. Because γ takes the value −∞ on events outside the causal future of x, such indeterminate expressions arise directly in the definition of enriched composition and the internal-hom adjunction. The manuscript does not specify a convention that restores associativity, unitality, or a well-defined closed structure; this is load-bearing for the enrichment statement.

    Authors: We agree that the manuscript must supply an explicit convention to make the symmetric monoidal closed structure on the extended reals rigorous. In the revised version we will define addition by cases: a + (−∞) = (−∞) + a = (−∞) for every extended real a (including a = +∞), while retaining the usual rules a + (+∞) = (+∞) + a = (+∞) for a finite or +∞ and the standard arithmetic on finite reals. This choice is consistent with the causal reading of γ: whenever either factor is −∞ the composite remains −∞, so the reverse-triangle inequality holds trivially and no indeterminate form appears in enriched composition. The internal hom [a, b] ≅ b − a remains well-defined under the same convention. We will insert a short paragraph stating the convention immediately after the definition of the monoidal structure, verify the monoidal and closed axioms by cases, and adjust the abstract if needed for precision. This is a clarifying addition rather than a change of substance. revision: yes

Circularity Check

0 steps flagged

No significant circularity; expository identification of known structures

full rationale

The paper is explicitly expository and does not present a derivation or prediction that reduces to its inputs by construction. It identifies the antimetric on Lorentz manifolds with an enrichment over the extended reals (viewed as a symmetric monoidal closed category) by extending Lawvere's prior framework for metric spaces as enriched categories. This relies on external, pre-existing definitions from category theory and relativity rather than fitting parameters, self-defining terms, or load-bearing self-citations whose content is unverified within the paper. No equation or claim equates a result to a fitted input or renames a known pattern as a new unification; the central statement is a conceptual mapping whose validity stands or falls on independent benchmarks outside the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central framing rests on the standard definition of symmetric monoidal closed categories and the known properties of the extended real line; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math The extended real line equipped with addition and order forms a symmetric monoidal closed category.
    Invoked when the paper states that a real-valued metric space is an enriched category over this structure.

pith-pipeline@v0.9.0 · 5704 in / 1138 out tokens · 38554 ms · 2026-05-20T00:12:58.419834+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    Eilenberg and G.M

    S. Eilenberg and G.M. Kelly, Closed categories, in Proc. Conf. Categorical Algebra, La Jolla 1965, Springer, 1966, pp.\ 421--562

    work page 1965

  2. [2]

    Grandis, Directed homotopy theory, I

    M. Grandis, Directed homotopy theory, I. The fundamental category, Cah. Topol. G\'eom. Diff\'er. Cat\'eg. 44 (2003), 281--316. Available at https://www.numdam.org/issues/CTGDC\_2003\_44\_4/

    work page 2003

  3. [3]

    Grandis, The fundamental weighted category of a weighted space (From directed to weighted algebraic topology), Homology Homotopy Appl

    M. Grandis, The fundamental weighted category of a weighted space (From directed to weighted algebraic topology), Homology Homotopy Appl. 9 (2007), 221--256. Available at https://intlpress.com/JDetail/1805807194991902721

    work page arXiv 2007

  4. [4]

    Grandis, Directed Algebraic Topology, Models of non-reversible worlds, Cambridge Univ

    M. Grandis, Directed Algebraic Topology, Models of non-reversible worlds, Cambridge Univ. Press, 2009. Available at https://www.researchgate.net/publication/267089582

    work page arXiv 2009

  5. [5]

    Grandis, Weighted algebraic topology, II (Metrics with real values), to appear

    M. Grandis, Weighted algebraic topology, II (Metrics with real values), to appear

    work page

  6. [6]

    Kelly, Basic concepts of enriched category theory, Cambridge University Press, 1982

    G.M. Kelly, Basic concepts of enriched category theory, Cambridge University Press, 1982

    work page 1982

  7. [7]

    Lawvere, Metric spaces, generalized logic and closed categories, Rend

    F.W. Lawvere, Metric spaces, generalized logic and closed categories, Rend. Sem. Mat. Fis. Univ. Milano 43 (1974), 135--166. Republished in: Reprints Th. Appl. Categ. 1 (2002), 1--37. Available at http://www.tac.mta.ca/tac/reprints/articles/1/tr1.pdf

    work page 1974

  8. [8]

    Lawvere, State Categories, Closed Categories, and the Existence Semi-Continuous Entropy Functions, IMA Preprint Series 84, University of Minnesota, 1984

    F.W. Lawvere, State Categories, Closed Categories, and the Existence Semi-Continuous Entropy Functions, IMA Preprint Series 84, University of Minnesota, 1984

    work page 1984

  9. [9]

    Mac Lane, Categories for the working mathematician, Springer, 1971

    S. Mac Lane, Categories for the working mathematician, Springer, 1971

    work page 1971

  10. [10]

    O'Neill, Semi-Riemannian geometry, with applications to relativity, Academic Press, 1983

    B. O'Neill, Semi-Riemannian geometry, with applications to relativity, Academic Press, 1983

    work page 1983

  11. [11]

    The Legendre-Fenchel transform from a category theoretic perspective

    S. Willerton, The Legendre-Fenchel transform from a category theoretic perspective, arXiv 1501.03791v1, 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015