  A theorem by Pridham and Lurie provides an equivalence between formal moduli
problems and Lie algebras in characteristic zero. In his work, Lurie has
distilled the axioms that the algebras appearing in the formal moduli problem
need to satisfy, and worked out the case of $\mathbb{E}_\infty$-algebras using
an incarnation of the Koszul duality, in the setting of $\infty$-operads. The
more recent work of Calaque-Campos-Nuiten extends Lurie's work to obtain an
equivalence between formal moduli problem parameterized by a colored operad,
and algebras over its Koszul dual operad. This manuscript is both, a
pedagogical exposition, and a questioning of their work, with modest, but
original, supporting lemmas.
