Formal deformations of a smooth proper dg-category

This is work in progress with Pranav Pandit. I will explain how to use Lurie's theory of formal moduli problems and their approximations in order to obtain a better understanding of the deformation theory of a dg-category up to Morita equivalence. In the case of a smooth proper dg-category, this leads to the compact generation of any formal deformation.