sage.categories.commutative_ring_ideals.
CommutativeRingIdeals
The category of ideals in a fixed commutative ring.
EXAMPLES:
sage: C = CommutativeRingIdeals(IntegerRing()) sage: C Category of commutative ring ideals in Integer Ring
Commutative algebras
Commutative rings