[Previous] [Next] [Contents]

## `Cat::SemiRng` -- the category of semi-rings without unit

#### Introduction

`Cat::SemiRng` represents the category of semi-rings without unit.

#### Generating the category

`Cat::SemiRng()`

#### Categories

`Cat::AbelianMonoid`, `Cat::Monoid`,

#### Details

- A `Cat::SemiRng` is essentially a ring without unit (`Cat::Rng`), except that the operation `+` (`_plus`) is not required to be invertible. In other words, this is an abelian monoid according to the operation `+` 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.

#### Changes

- `Cat::SemiRng` is a new category

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package