## `Cat::Group` -- the category of groups

#### Introduction

`Cat::Group` represents the category of groups.

#### Generating the category

`Cat::Group()`

#### Categories

`Cat::Monoid`

#### Details

- A `Cat::Group` is a non-abelian monoid where the group operation `*` (`_mult`) is invertible.

#### Method _divide: returns quotient

- `_divide(dom x, dom y)`
- - Returns the quotient `x`/`y` by computing `x*y^(-1)`.

#### Changes

- no changes

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