ON THE FORMALISM OF MIXED SHEAVES