Category of fields
Cat::Field represents the category of fields.
A Cat::Field is a factorial domain, an Euclidean domain and a skew field. As a Euclidean domain, it has a commutative multiplication * (_mult) and as a skew field, the multiplication is invertible.
Many of the methods defined for factorial and Euclidean domains are trivial for a field.