更多科大概覽
I plan to start with an introduction of overview picture with many examples, then cover
basic concepts such as simplicial/derived rings, derived schemes, stable infinity categories
and derived categories, animations and Quillen and Lurie's nonabelian functors, derived
deformation theory, etc.