{"id":"arxiv/2603.28688","url":"https://arxiv.org/abs/2603.28688","tags":["math.CT","math.AT"],"score":0,"title":"A synthetic construction of universal cocartesian fibrations","domain":"math.CT","source":"arxiv","authors":["Christian Sattler","David Wärn"],"reviews":0,"subject":"math.CT","summary":"We give a model-independent construction of directed univalent cocartesian fibrations of $(\\infty,1)$-categories, and prove a straightening equivalence against such fibrations. The key step is showing that cocartesian fibrations descend along localisations, which we accomplish by analysing mapping spaces of localisations. Along the way we introduce a directed version of the join construction, giving a sequential colimit description of the full image of any functor.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-30","reactions":{}}