## `Cat::SquareMatrix` -- the category of square matrices

#### Introduction

``Cat::SquareMatrix`(R)` represents the category of square matrices over the rng `R`.

#### Generating the category

`Cat::SquareMatrix(R)`

#### Parameters

`R` | - | A domain which must be from the category `Cat::Rng`.

#### Categories

if `R` has `Cat::Ring` then
`Cat::Ring`
`Cat::Rng`

, `Cat::Matrix(R)`

#### Details

- A ``Cat::SquareMatrix`(R)` represents the rng (ring without unit) of square matrices over the coefficient domain `R`.

#### Entries

characteristic

  Defined if `R` is a ring: In this case the characteristic of the matrix domain is the same as that of `R`.

#### Changes

- used to be called `Cat::SquareMatrixCat`

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