Cosmological Unstraightening

The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\mathrm{\infty },1)$-categories, namely quasi-categories. In this work we generalize this result by proving that for all $\mathrm{\infty }$-cosmoi of $(\mathrm{\infty },1)$-categories in the sense of Riehl and Verity, which includes quasi-categories but also complete Segal spaces or $1$-complicial sets, their corresponding notions of fibrations and presheaves are biequivalent $\mathrm{\infty }$-cosmoi via a natural zig-zag of cosmological biequivalences. The major idea that makes this possible is a lift of the quasi-categorical unstraightening construction to a cosmological biequivalence.