Derived Category Language 2

is birational map between smooth objective algebraic manifolds.

And

.

At This condition,

there exists next fully faithful embedding.