Description of negneg-separated presheaves, negneg-sheaves and negneg-sheafification
Geometric interpretation of K_X (beginning of the first part only)
typo