The Stacks project

Blowing ups and resolution property for spaces

Bunch of changes were necessary to make this work

1. Prove a refined version of there exists a surjective integral
   morphism from a scheme to a given qcqs algebraic space
2. Prove a refined version of there exists a surjective finite and
   finitely presented morphism from a scheme to a given qcqs algebraic space
3. Prove a "filtered" version of 2.
4. Prove a refined version for algebraic spaces of there exists a
   blowing up which has the resolution property
5. Prove a "filtered" version of 4.

Most of these are annoying to prove but clearly true.

blow-ups, blow ups, and blowups

THis is made difficult because I can 'blow up' something

Thanks to Antoine Chambert-Loir
https://stacks.math.columbia.edu/tag/01OF#comment-2823

Tags: Added new tags

Typo in spaces-more-morphisms.tex

Thanks to Kestutis Cesnavicius

Make morphism finite after blowup