In this talk, I'll discuss the role that Lie algebras play in algebraic topology and motivate the development of a "homotopy coherent" version of the theory. I'll also explain an "equation-free" formulation of the classical theory of Lie algebras, which emerges as a concrete byproduct.