When is a given map of a surface to a 4-manifold homotopic to an embedding? I’ll motivate this question and give a survey of related results, including the celebrated work of Freedman and Quinn, and culminating in a general surface embedding theorem. The talk will be based on joint work with Daniel Kasprowski, Mark Powell, and Peter Teichner.