A synthetic construction of universal cocartesian fibrations

Christian Sattler, David Wärn

We give a model-independent construction of directed univalent cocartesian fibrations of $(\infty ,1)$-categories, and prove a straightening equivalence against such fibrations. The…