{"id":"arxiv/2603.20140","url":"https://arxiv.org/abs/2603.20140","tags":["math.AT","math.CT"],"score":0,"title":"Arboreal Objects and Their Homotopy Theory","domain":"math.AT","source":"arxiv","authors":["Atabey Kaygun"],"reviews":0,"subject":"math.AT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}