Culf maps and edgewise subdivision

Philip Hackney, Joachim Kock

We show that, for any simplicial space $X$, the $\infty$-category of culf maps over $X$ is equivalent to the $\infty$-category of right fibrations over $\mathrm{sd}(X)$, the…