Diagram Categories in Homotopy Theory CRG Seminar: Niall Taggart