I'm looking for motivation for the property of smoothness (of morphisms) and regularity (of objects) in algebraic geometry, from an algebraic viewpoint.
I understand that requiring this makes the scheme closer to a smooth manifold.
But what properties do regular schemes have that ordinary ones do not? Do smooth schemes enjoy any morphism-factorization properties? Is there a universal property related to these?