The quantum toroidal algebra is the affinization of the quantum Heisenberg algebra. Schiffmann-Vasserot, Feigin-Tsymbaliuk and Negut studied the quantum toroidal algebra action on the Grothendieck group of Hilbert schemes of points on surfaces, which generalized the action by Nakajima and Grojnowski in cohomology. In this talk, we will categorify the above quantum toroidal algebra action. Our main technical tool is a detailed geometric study of certain nested Hilbert schemes of triples and quadruples, through the lens of the minimal model program, by showing that these nested Hilbert schemes are either canonical or semi-divisorial log terminal singularities.