All Questions

I am looking for a reference for the following statement. Theorem. Let $C$ be a regular, well-powered, countably complete cartesian closed category, $R$ be a (commutative) ring object in $C$, $R\...

This is probably a trivial question, but I don't see the answer, and I haven't found it on Wikipedia, nLab, nor MathOverflow. Let $\text{ComAlg}$ denote the category whose objects are commutative ...