Diagram Categories in Homotopy Theory CRG Seminar: Ben Szczesny