[辛几何研讨班]Derived category in Mirror symmetry