An $(\infty ,n)$-categorical straightening-unstraightening construction

Lyne Moser, Nima Rasekh, Martina Rovelli

We provide an $(\infty ,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty ,n)$-category of double $(\infty,n-1)…