Directed Homotopy, Sectional Invariants, and Functorial Databases
A database instance on a small category may be represented as a set-valued functor or, equivalently, as a discrete opfibration. Its sections correspond to globally coherent choices of records. When no global section exists, we measure the failure of global coherence by the minimum number of subcategories on which coherent choices can be made. Regarding natural transformations as directed homotopies, we introduce right and left directed fibrations and relate them to Grothendieck opfibrations and fibrations. We define directed versions of Lusternik-Schnirelmann category and sectional category…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.23228
curl -X POST /api/v1/records/arxiv/2607.23228/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.23228/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'