The prescheme usage is outdated. As indicated in nLab,
our schemes are in EGA called preschemes; EGA’s schemes are what we call separated schemes
The prescheme usage is outdated. As indicated in nLab,
our schemes are in EGA called preschemes; EGA’s schemes are what we call separated schemes