1 problem

Duals in the unstraightening. The category $\mathbf{Un}_{\mathcal X}(\mathrm{Th})$ is an $(\infty,n)$-category that has duals.