Topological exodromy with coefficients

The exodromy equivalence relates the derived $\mathrm{\infty }$-category of constructible sheaves on a stratified space (X,P) with the $\mathrm{\infty }$-category of representations of the exit-paths $\mathrm{\infty }$-category of (X,P). Originally envisioned by MacPherson, it has been rigorously developed by Treumann and later improved by Lurie. This paper provides a new proof of the strongest version of this equivalence. This allows us to remove several limitations from Lurie’s treatement; for instance we prove that the exodromy equivalence is functorial in arbitrary morphism of stratified spaces. We also remove all noetherianity assumptions, consider more general coefficients (e.g. compactly assembled or stable presentable $\mathrm{\infty }$-categories), and we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape.