Diagram Categories in Homotopy Theory CRG Seminar: William Hornslien