Text this: La categoría derivada de haces coherentes sobre espacios proyectivos