{"id":"arxiv/2608.13609","url":"https://arxiv.org/abs/2608.13609","tags":["math.CT","math.NT"],"score":0,"title":"Intensional semantics for comparison problems in arithmetic geometry","domain":"math.CT","source":"arxiv","authors":["R. Laniewski"],"reviews":0,"subject":"math.CT","summary":"This work proposes a semantic environment for arithmetic geometry in which passage between presentations carries an explicit weight. Morphism costs induce a Lawvere generalized distance by taking infima over transports, and heights satisfy the corresponding transport bounds. A labeled quantitative $(2,1)$-category retains invertible $2$-morphisms as coherent comparisons between transports. Its vertical groupoids admit a transport interpretation inspired by the identity types of Voevodsky's C-systems. If a height factors through the underlying object, then a vertical comparison has equal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}