We prove a universal property for blowups 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.
QC 20251126