# `Cat` - predefined categories

## Table of contents

1. `BaseCategory` - the base category
2. `AbelianGroup` - the category of abelian groups
3. `AbelianMonoid` - the category of abelian monoids
4. `AbelianSemiGroup` - the category of abelian semi-groups
5. `Algebra` - the category of associative algebras
6. `CancellationAbelianMonoid` - the category of abelian monoids with cancellation
7. `CommutativeRing` - the category of commutative rings
8. `DifferentialRing` - the category of ordinary differential rings
9. `EntireRing` - the category of entire rings
10. `EuclideanDomain` - the category of euclidean domains
11. `FactorialDomain` - the category of factorial domains
12. `Field` - the category of fields
13. `FiniteCollection` - the category of finite collections
14. `GcdDomain` - the category of integral domains with gcd
15. `Group` - the category of groups
16. `HomogeneousFiniteCollection` - the category of homogeneous finite collections
17. `HomogeneousFiniteProduct` - the category of homogeneous finite products
18. `IntegralDomain` - the category of integral domains
19. `LeftModule` - the category of left `R`-modules
20. `Matrix` - the category of matrices
21. `Module` - the category of `R`-modules
22. `Monoid` - the category of monoids
23. `OrderedSet` - the category of ordered sets
24. `PartialDifferentialRing` - the category of partial differential rings
25. `Polynomial` - the category of multivariate polynomials
26. `PrincipalIdealDomain` - the category of principal ideal domains
27. `QuotientField` - the category of quotient fields
28. `RightModule` - the category of right `R`-modules
29. `Ring` - the category of rings
30. `Rng` - the category of rings without unit
31. `SemiGroup` - the category of semi-groups
32. `Set` - the category of sets of complex numbers
33. `SkewField` - the category of skew fields
34. `SquareMatrix` - the category of square matrices
35. `UnivariatePolynomial` - the category of univariate polynomials
36. `VectorSpace` - the category of vector spaces

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000