Formality of $A_\infty$-Algebras

Abstract

This master's thesis contains an introduction to $A_\infty$-algebras and homological perturbation theory. We then discuss the formality of compact K\"ahler manifolds and present a direct proof of a homotopy transfer principle of $A_\infty$-algebras, also known as Kadeishvili's Theorem.