On the naturality of the iteration and recursive specifications

摘要

In [5] the naturality of level-of-sentence control structures, concatenation, conditional, and iterative recursion is given. In the present article, we emphasize, from a categorical semantics point of view following [11], the iteration and some of its relations with general recursion at the unit level.