What is a rigorous proof of the topological equivalence between a donut and a coffee mug?
I've seen this example given numerous times, but have never seen a real proof in a textbook.
I am assuming that the questioner knows that the question is about either the surfaces or the 3-manifolds in question. A rigorous, yet diagrammatic proof is in our book Knotted Surfaces and Their Diagrams.