Generalizations (algebraic spaces, stacks) Foundations mathematics