Cat::SquareMatrix
-- the
category of square matrices
represents the
category of square matrices over the rng Cat::SquareMatrix
(R)R
.
Cat::SquareMatrix(R)
R |
- | A domain which must be from the category Cat::Rng . |
Cat::Rng
, Cat::Matrix(R)
Cat::SquareMatrix
(R)
represents the rng
(ring without unit) of square matrices over the coefficient domain
R
.Defined if R
is a ring: In this case the characteristic
of the matrix domain is the same as that of R
.
Cat::SquareMatrixCat