Derived Category Language 1

1.
Fukaya category is
Fuk(X, ω).

2.
General symplectic manifold is
  .
3.

Derived category of 
A_∞  
 is
   .

4.
Conjecture

When

   and  

have physical mirror relation, 

there exists the next triangle category's equivalence