Bases: sage.categories.category_with_axiom.CategoryWithAxiom_singleton
The category of domains
A domain (or non-commutative integral domain), is a ring, not necessarily commutative, with no nonzero zero divisors.
EXAMPLES:
sage: C = Domains(); C
Category of domains
sage: C.super_categories()
[Category of rings]
sage: C is Rings().NoZeroDivisors()
True
TESTS:
sage: TestSuite(C).run()
alias of IntegralDomains
EXAMPLES:
sage: Domains().super_categories()
[Category of rings]