Sergei Gukov, Quantization and Categorification, Lecture 3