Abstract:Let $\mathfrak{Fuk}(T^*M)$ be the Fukaya category in the Fukaya's immersed Lagrangian Floer theory \cite{fukaya:immersed} which is generated by immersed Lagrangian submanifolds with clean self-intersections. This category is monoidal in that the product of two such immersed Lagrangian submanifolds remains to be a Lagrangian immersion with clean self-intersection. Utilizing this monoidality of Fukaya's immersed Lagrangian Floer theory, we prove the following generation result in this Fukaya category of the cotangent bundle, which is the counterpart of Nadler's generation result \cite{Nadler} for the Fukaya category generated by the exact embedded Lagrangian branes. More specifically we prove that for a given triangulation $\mathcal T = \{\tau_{\mathfrak a}\}$ fine enough the Yoneda module $$ \mathcal{Y}_{\mathbb L}: = hom_{\mathfrak{Fuk}(T^*M)}(\cdot, \mathbb L) $$ can be expressed as a twisted complex with terms $hom_{\mathfrak{Fuk}(T^*M)}(\alpha_M(\cdot), L_{\tau_{\mathfrak a}*})$ for any curvature-free (aka tatologically unostructed) object $\mathbb L$. Using this, we also extend Nadler's equivalence theorem between the dg category $Sh_c(M)$ of constructible sheaves on $M$ and the triangulated envelope of $\mathfrak{Fuk}^0(T^*M)$ to the one over the Novikov field $\mathbb K$.

On local fibrations of $(\infty,2)$-categories

Fibrations and Koszul duality in locally Cartesian localisations

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

A user's guide to co/cartesian fibrations

On cofinal functors of $\infty$-bicategories

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

A model structure for Grothendieck fibrations

Internal sums for synthetic fibered $(\infty,1)$-categories

Two-sided cartesian fibrations of synthetic -categories

A Quillen model structure of local homotopy equivalences

An $(\infty,n)$-categorical straightening-unstraightening construction

The Grothendieck Construction for $\infty$-Categories Fibered over Categorical Patterns

Fibred 2-categories and bicategories

Locally rigid $\infty$-categories

Double categorical model of $(\infty,1)$-categories

$(\infty,2)$-Topoi and descent

On the structure of étale fibrations of $L_\infty$-bundles

Cocartesian fibrations and straightening internal to an $\infty$-topos

Internal sums for synthetic fibered (∞,1)-categories

On functor double $\infty$-categories

Fukaya's immersed Lagrangian Floer theory and microlocalization of Fukaya category