## `Cat::SkewField` -- the category of skew fields

#### Introduction

`Cat::SkewField` represents the category of skew fields (division rings).

#### Generating the category

`Cat::SkewField()`

#### Categories

`Cat::Ring`

#### Details

- A `Cat::SkewField` represents a ring with unit where each nonzero element is invertible. This structure is also called division ring in the literature.

#### Changes

- no changes

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