We prove a universal property for blow-ups in regularly immersed subschemes, based on a notion we call virtual effective Cartier divisor. We also construct blow-ups of quasi-smooth closed immersions in derived algebraic geometry.