A classic theorem of Quillen established an equivalence of homotopy theory between (certain) DG Lie algebras and DG coalgebras. Both are models for (simply-connected) rational homotopy theory. A generalization of Quillen's result by Hinich provided a link with deformation theory.