Given a variety $X$ and a complete-intersection morphism $$ Y \to X $$ is there an analogue of the Koszul complex for $\mathcal{O}_Y \in \textbf{Coh}(X)$ in the setting of constructible sheaves? Meaning, if I consider the constant constructible sheaf $$ \underline{\mathbb{Q}}_{Y} $$ does there exist a complex of constructible sheaves analogous to the koszul complex?