Real metrics are defined as enriched categories over the extended reals, with linear cases derived from potential functions, as part of weighted algebraic topology.
Grandis, The fundamental weighted category of a weighted space (From directed to weighted algebraic topology), Homology Homotopy Appl
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
An expository account that interprets Lorentz manifolds via enriched categories over the extended real line, extending Lawvere's metric spaces.
citing papers explorer
-
Weighted algebraic topology, II (Real valued metrics)
Real metrics are defined as enriched categories over the extended reals, with linear cases derived from potential functions, as part of weighted algebraic topology.
-
Enriched categories, real metrics and Lorentz manifolds
An expository account that interprets Lorentz manifolds via enriched categories over the extended real line, extending Lawvere's metric spaces.