Recursion and iteration in continuous theories: the ''M-construction'' (Q790235)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Recursion and iteration in continuous theories: the ''M-construction'' |
scientific article |
Statements
Recursion and iteration in continuous theories: the ''M-construction'' (English)
0 references
1983
0 references
A functor \(M\) is described assigning to each continuous algebraic theory \(T\) another theory \(M(T)\) whose morphisms correspond to systems of recursive equations in \(T\).
0 references
M-construction
0 references
continuous algebraic theory
0 references
systems of recursive equations
0 references