A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Iterative and recursive matrix theories
1984
Journal of Algebra
TO THE MEMORY OF CALVIN C. ELGOT Matrix theories are algebraic theories (in the sense of Lawvere) in which each morphism p: [m] + [n] is an m x n matrix of morphisms pij : [ 1 ] + [ 11. We develop the iterative matrix theories in which systems of linear equations have solutions and the recursive matrix theories in which systems of polynomial equations have solutions. There are intimate connections with formal power series as developed in formal language theory: the iterative matrix theories are
doi:10.1016/0021-8693(84)90035-8
fatcat:h6xlk26gibgdbehkxd7rqrkdkm