sage: C = CommutativeRingIdeals(IntegerRing()) sage: C Category of commutative ring ideals in Integer Ring