En topología diferencial, un difeomorfismo es un isomorfismo en la categoría de las variedades diferenciables (es decir, un difeomorfismo es un homeomorfismo diferenciable con inversa diferenciable).