Homotopy of representations up to homotopy

We propose a general definition of morphism of representations up to homotopy of Lie algebroids, which is be mandated by the requirement that taking cohomology with coefficients in a representation up to homotopy behave functorially.

With this definition in place, we show that such representations behave in a similar way to honest representations as far as homotopy invariance of cohomology and local triviality of smooth families are concerned, and for essentially the same reasons as in the classical case.