The lambda calculus is algebraic