  We show that double Lie algebroids, together with a chosen linear splitting,
are equivalent to pairs of 2-term representations up to homotopy satisfying
compatibility conditions which extend the notion of matched pair of Lie
algebroids. We discuss in detail the tangent of a Lie algebroid.

Differential Geometry