Here is an explicit question: are all curves (say reduced, even non-singular, finite type over given k) isomorphic? Obviously not: some are affine, and some (such as P) are not. So to simplify things — and we’ll further motivate this simplification in Class 42 — are all projective curves isomorphic? Perhaps all nonsingular projective curves are isomorphic to P? Once again the answer is no, but ...