Virtual Cartier divisors and blow-ups

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.