Diagram Categories in Homotopy Theory CRG Seminar: David Chan