I am trying to read Seidel's book, and I am confused about the "derived" Fukaya category. If I understand properly, one starts from the $A_{\infty}$-category $\mathfrak{F}(M)$, enlarges it to the $A_{\infty}$-category $Tw(\mathfrak{F}(M)$) of twisted complexes, and then, through $H^0$, recovers from this an honest category, $D(\mathfrak{F}(M))$, and calls this the *derived* Fukaya category.

It is unclear to me how this construction relates to the usual notion of derived categories (if it does at all!). In the classical sense, one starts from an abelian category, and one keeps the same complexes at all stages to arrive at the derived category; only the hom-sets are altered.

Could someone expand on the connections between the two notions? Since the homological mirror symmetry conjecture is based on a "derived equivalence" of categories, one of them being a honest derived category, there are certainly some things to be said.

Thanks in advance.

do notkeep the same objects all the time, you considercomplexesin the abelian category. $\endgroup$