Arboreal Objects and Their Homotopy Theory
We construct a category $\OrdFor$ as an arboreal extension of $Δ_{\mathrm{epi}}\subseteqΔ$, whose morphisms are ordered forests composed by grafting. We define a full functor $π\colon \OrdFor\toΔ_{\mathrm{epi}}^{op}$ extracting the semisimplicial shadow. For every complete category $\mathcal C$, this induces a fully faithful functor from semisimplicial objects in $\mathcal C$ to $\mathcal C$-valued presheaves on $\OrdFor$, with right adjoint given by right Kan extension. We show that if weak equivalences of arboreal objects are detected by this right adjoint, then their Gabriel--Zisman…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.20140
curl -X POST /api/v1/records/arxiv/2603.20140/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.20140/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'