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\...