Text this: Categories and commutative algebra :