Diagram Categories in Homotopy Theory CRG Seminar: Grigory Solomadin