Abstract: Topology in dimension 4 is very different in flavor from topology in any other dimension. At the heart of the issue is the problem of embedding 2-dimensional manifolds in 4-dimensional ones: when can a continuous map from a surface to a smooth 4-manifold be continuously deformed to a smooth embedding? This question and its variants have a long history, and our understanding of the problem is still increasing, but broad open questions remain.