Cat::SkewField
-- the category
of skew fieldsCat::SkewField
represents the category of skew fields
(division rings).
Cat::SkewField()
Cat::Ring
Cat::SkewField
represents a ring with unit where
each nonzero element is invertible. This structure is also called
division ring in the literature.