In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which prouces objects with the typical properties of projective spaces and projective varieties. It is a fundamental tool in scheme theory.