  We study free dg-Lie algebroids over arbitrary derived schemes, and compute
their universal enveloping and jet algebras. We also introduce derived twisted
connections, and relate them with lifts on twisted square zero extensions. This
construction allows us to provide new conceptual approaches of existing results
concerning the derived deformation theory of subschemes.
