## `Cat::Rng` -- the category of rings without unit

#### Introduction

`Cat::Rng` represents the category of rings without unit.

#### Generating the category

`Cat::Rng()`

#### Categories

`Cat::AbelianGroup`

, `Cat::SemiGroup`

#### Details

- A `Cat::Rng` is a ring without a unit, i.e. an abelian group according to the operation `+` (`_plus`) and a non-abelian semi-group according to the operation `*` (`_mult`) where in addition the two distributive laws a (b + c) = a b + a c and (a + b) c = a c + b c hold.
- Use the axiom `Ax::noZeroDivisors` to state that there are no zero divisors according to `*`, i.e. that the product of non-zero elements never is zero.

#### Changes

- no changes

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