What is a good source for the category of modules over a ring object in a Grothendieck topos? I am particularly interested in the question: if I is an injective module and E is an object of the topos, then there is an exponential I^E. Is it injective? Equivalently, are internal copowers left exact? Michael