Achar introduces classical results of the Springer resolution and the Springer correspondence. He discusses several classical results, including Borho-MacPherson's, which says that if A is a certain Springer sheaf, then End(A) is isomorphic to the group algebra of W.