Internal Partial Combinatory Algebras and their Slices

TL;DR

This paper generalizes partial combinatory algebras (PCAs) to objects in regular categories, explores their categorical properties like products and slices, and introduces a 2-category framework with applicative morphisms.

Contribution

It extends the theory of PCAs to categorical contexts, explicitly describes constructions of products and slices, and develops a 2-category of PCAs with morphisms and adjoint criteria.

Findings

Categories of assemblies are closed under products and slicing.

Explicit constructions of products and slices of PCAs are provided.

A 2-category of PCAs with generalized applicative morphisms is established.

Abstract

A partial combinatory algebra (PCA) is a set equipped with a partial binary operation that models a notion of computability. This paper studies a generalization of PCAs, introduced by W. Stekelenburg, where a PCA is not a set but an object in a given regular category. The corresponding class of categories of assemblies is closed both under taking small products and under slicing, which is to be contrasted with the situation for ordinary PCAs. We describe these two constructions explicitly at the level of PCAs, allowing us to compute a number of examples of products and slices of PCAs. Moreover, we show how PCAs can be transported along regular functors, enabling us to compare PCAs constructed over different base categories. Via a Grothendieck construction, this leads to a (2-)category whose objects are PCAs and whose arrows are generalized applicative morphisms. This category has small products, which correspond to the small products of categories of assemblies, and it has finite coproducts in a weak sense. Finally, we give a criterion when a functor between categories of assemblies that is induced by an applicative morphism has a right adjoint, by generalizing the notion of computational density introduced by P. Hofstra and J. van Oosten.