Some remarks on formality in families

Мы доказываем некоторые результаты о формальности для семейств DG алгебр; в частности, мы доказываем, что формальность сохраняется при специализации. Сами результаты более или менее известны, но опубликованных доказательств, по-видимому, не существует.