Varieties and morphisms Foundations mathematics