Theorem 0.1. Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category.