Partial Recursive Functions and Finality

Abstract

AbstractWe seek universal categorical conditions ensuring the representability of all partial recursive functions. In the category Pfn of sets and partial functions, the natural numbers provide both an initial algebra and a final coalgebra for the functor 1 + −. We recount how finality yields closure of the partial functions on natural numbers under Kleene’s μ-recursion scheme. Noting that Pfn is not cartesian, we then build on work of Paré and Román, obtaining weak initiality and finality conditions on natural numbers algebras in monoidal categories that ensure the (weak) representability of all partial recursive functions. We further obtain some positive results on strong representability. All these results adapt to Kleisli categories of cartesian categories with natural numbers algebras. However, in general, not all partial recursive functions need be strongly representable.KeywordsNatural NumberRecursive FunctionMonoidal CategoryFollow Diagram CommutePeano ArithmeticThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.