The Stacks project

32 Limits of Schemes