Homotopy finiteness of some DG categories from algebraic geometry - Alexander I. Efimov (2013)