Show that the forgetful functor from rings to sets creates limits

[valis]

This is Algebra.Ring.Category/CRingBicat.createsLimits. It is probably better to show that the forgetful functor from any algebraic category to sets creates limits and then transfer this result to rings.