Implication Details
Assumptions: Grothendieck topos
Conclusions: cogenerator, locally presentable
Reason: For "locally presentable" see Prop. 3.4.16 in Handbook of Categorical Algebra Vol. 3. For "cogenerator" see the nLab.
Assumptions: Grothendieck topos
Conclusions: cogenerator, locally presentable
Reason: For "locally presentable" see Prop. 3.4.16 in Handbook of Categorical Algebra Vol. 3. For "cogenerator" see the nLab.