Fukaya category

In symplectic topology, a discipline within mathematics, a Fukaya category of a symplectic manifold ${\displaystyle (M,\omega )}$ is a category ${\displaystyle {\mathcal {F}}(M)}$ whose objects are Lagrangian submanifolds of ${\displaystyle M}$, and morphisms are Floer chain groups: ${\displaystyle \mathrm {Hom} (L_{0},L_{1})=FC(L_{0},L_{1})}$. Its finer structure can be described in the language of quasi categories as an A_∞-category.

...
Wikipedia