Below are (largely incomplete) study notes of Hyeongmuk Lim (임형묵) on physics and derived mathematics.
Derived Algebraic Geometry
Motivations for modern algebraic geometry
Motivations for modern algebraic geometry
Cotangent complex
Quantum Field Theory
Mathematical Formalism
Batalin-Vilkovisky formalism
Topics
Effective Field Theory
Supersymmetry.pdf
Anomaly.pdf
Conformal_Field_Theory.pdf
String Theory
Basic_String_Theory.pdf