A stable \(\infty\)-category of Lagrangian cobordisms (Q2307468)

Given an exact symplectic manifold $M$ and a Lagrangian support $\Lambda$, the authors construct an $\infty$-category Lag$\Lambda(M)$. Let us recall that a Lagrangian support for $M$ is a (not necessarily compact, possibly singular) closed Lagrangian subvariety; that is, the closure $\Lambda\subset M$ is subanalytic, and hence admits a Whitney stratification into smooth submanifolds (each stratum of $\Lambda$ is isotropic with respect to the symplectic form). They also conjecture that this category is equivalent to the partially wrapped Fukaya category of $M$ relative to $\Lambda$. The main theorem of this paper (Theorem 1.1.7) is that Lag$\Lambda(M)$ is a stable $\infty$-category with concretely realized mapping cones (Theorem 1.1.9).