Category of commutative rings