Dagger Categories in Riemannian Geometry
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.02257
curl -X POST /api/v1/records/arxiv/2610.02257/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.02257/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'