Obstruction-Deformation Theory of Filtered \(A_\infty \) Bimodules

The notion of an \(A_\infty \) category was introduced by Fukaya [Fuk94] who first discovered such a structure in the Lagrangian intersection Floer theory. Right after its advent, Kontsevich formulated the celebrated homological mirror symmetry (HMS) in the language of the \(A_\infty \) category [Kon95b].