Topics include the Whitney trick and its failure in 4 dimensions; its analogues in 3-dimensions: the Dehn lemma and the loop theorem; Milnor's invariants for classical links; various special 2-complexes important if 4-manifold topology: Casson towers, Whitney towers, capped gropes; Heegaard splittings; Khovanov homology and other aspects of categorication.