Generalized 1-motivic sheaves

We extend the construction 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 introduced in a previous paper by Barbieri-Viale and the author.