Enriched categories, real metrics and Lorentz manifolds
Marco Grandis

TL;DR
This paper explores the connections between enriched category theory-based generalized metrics and Lorentz manifolds in relativity, highlighting their categorical and geometric structures.
Contribution
It unifies the concepts of real-valued metrics in relativity with enriched categories, extending Lawvere's metric space framework to Lorentzian geometry.
Findings
Real-valued metrics in relativity can be modeled as enriched categories.
The antimetric satisfies a reverse triangle inequality and relates to lightcones.
Category theory provides a solid foundation for Lorentzian geometry.
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 , with values in the extended real line, or better (if equivalently) a real valued `antimetric' (satisfying a reverse triangle inequality); the latter, as a function of , is positive on the timecone of , annihilates on its lightcone, and is on all events which cannot be influenced by . 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,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
