Formality of DG algebras (after Kaledin)

Abstract

We provide proper foundations and proofs for the main results of [Ka]. The results include a flat base change for formality and behavior of formality in flat families of $A(\infty )$ and DG algebras.

Revised and expanded version