More existence theorems for recursion categories. (Q1428035): Difference between revisions

This paper is a contribution to the study of recursion categories, which are `formal categories of partial maps' equipped with a notion of recursion. Such categories have been extensively studied by A.~Heller, G.~Rosolini, R.~Di~Paola, F.~Montagna and others, and the notation and terminology have now been very highly developed. The present paper makes no concession to the casual reader: here is the statement of its main result. ``Let \(\mathbb C\) and \(\mathbb D\) be iteration categories, and suppose \(\mathbb C\) is separated by an iteration functor \(L:{\mathbb C}\to{\mathbb D}\). If \({\mathbb B}={\mathbb B}(X)\) is a uniformly generated isotypical \(B^{\#}\)-subcategory of \({\mathbb C}(X)\), then \(\text{Tur}({\mathbb B})\) is a recursion category.'' To explain the meaning of all the terms in this result would require a review almost as long as the original paper; however, it can be said that it generalizes a result due to Heller, which is the special case in which \(L\) is the identity functor on \(\mathbb C\). There are also some applications to categories of coalgebras for suitable endofunctors of the category of sets.