A domain of this category implements formal linear combinations of elements from a domain S with coefficients in a domain R. The coefficient ring may be non-commutative.

See the XDistributedPolynomial constructor for examples of domains built with the FreeModuleCategory category constructor.