Generalized 1-motivic sheaves

Let k be a field of characteristic 0. We extend the definition of the category of 1-motivic sheaves, introduced by Barbieri-Viale and Kahn, allowing quotients of connected algebraic k-groups by formal k-groups. We show that its bounded derived category is equivalent to the bounded derived category of the category of generalized 1-motives with torsion.