Is Hartshorne's definition of the category of varieties natural? Hartshorne's "Algebraic geometry" begins with the definition of (quasi-)affine and (quasi-)projective varieties over some fixed algebraically closed field. At a first glance, these seem to be quite different, so that I would have expected that one would pose questions either on quasi-affine or on quasi-projective varieties.
However, Hartshorne then defines a variety to be either a quasi-affine or a quasi-projective variety. These varieties (together with certain continuous and in some sense regular maps) then form the category of varieties.

Here is my question: Is the above definition natural in the sense that we really want to compare quasi-affine and quasi-projective varieties or at least study them both at the same time?

For instance, is there a (non-trivial) example of a quasi-affine variety which is isomorphic in the above category to a quasi-projective variety? If not, isn't this "unifying" definition a bit artificial?
 A: A quasiaffine variety IS quasi projective. Indeed it is an open set in an affine variety, which in turn is open in its projective closure. So one only considers quasiprojective varieties.
A: I would just comment, but I'm a new user so I can't.
I believe you are referring to Hartshorne's definition on p. 15:
"A variety over $k$ is any affine, quasi-affine, projective, or quasi-projective variety as defined above."
The reason he defines things this way is that in section I.1 he defined affine and quasi-affine varieties; in section I.2 he defined projective and quasi-projective varieties.  You are right that he hasn't made very clear the relation between the two.  Exercise I.2.9 on projective closures hints at the relation, but it hasn't been made completely precise (he just uses the terminology "identify").  To make this precise, we need to say what the morphisms between any two different varieties are.
Suffice it to say, the identification of Exercise I.2.9 given by projective closure is in fact an isomorphism in the sense of section I.3, so all varieties are isomorphic to quasi-projective varieties.
If this is your first encounter with algebraic geometry, however, I'm not sure I would recommend chapter I of Hartshorne very highly.  I made the mistake of thoroughly studying chapter I myself, and I think there are far better ways to spend your time.
