{"id":"arxiv/2610.02257","url":"https://arxiv.org/abs/2610.02257","tags":["math.CT","math.DG"],"score":0,"title":"Dagger Categories in Riemannian Geometry","domain":"math.CT","source":"arxiv","authors":["Jón Hákon Garðarsson","Paolo Perrone"],"reviews":0,"subject":"math.CT","summary":"A dagger on a category assigns to every morphism $f \\colon X \\to Y$ a morphism $f^\\dagger \\colon Y \\to X$, contravariantly and involutively, in the way the transpose reverses a real matrix. We show that on the categories of linear algebra and differential geometry, daggers encode metric and Riemannian structures. As is known, on a single vector space, an anti-involution of the endomorphism ring is the adjoint of a form that is determined up to a scalar. But more generally, on the category of all finite-dimensional vector spaces, a dagger is the adjoint for an involution of the scalars…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}