Derived Smooth and Banach Higher Groupoids: Representability and Descent
We study homotopy theories of higher groupoids in specified geometries, distinguishing geometric representability from realization and descent. Ordinary smooth and Banach-open sheaves admit full Brown categories of fibrant objects. For ordinary geometric groupoids, a crossing-axes obstruction motivates an empty-compatible incomplete Brown structure. Its split-Banach version requires a fixed chart-compatible plot site with local kernel-product closure. These results include all finite unique-horn bounds and their union. For represented derived models, finite matching and an outer-prism…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.28220
curl -X POST /api/v1/records/arxiv/2609.28220/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.28220/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'