Models for homotopy categories of injectives and Gorenstein injectives. Issue 6 (3rd June 2017)