The mock homotopy category of projectives and Grothendieck duality