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