Bases: sage.categories.category.Category
The category of division rings
a division ring (or skew field) is a not necessarily commutative ring where all non-zero elements have multiplicative inverses
EXAMPLES:
sage: DivisionRings()
Category of division rings
sage: DivisionRings().super_categories()
[Category of domains]
TESTS:
sage: TestSuite(DivisionRings()).run()
EXAMPLES:
sage: DivisionRings().super_categories()
[Category of domains]