×

zbMATH — the first resource for mathematics

La théorie des fonctions indexées en récursivité. (The theory of indexed functions in recursion). (French) Zbl 0639.03050
On présente dans ce travail une axiomatisation de la récursivité en utilisant la notion de catégorie indexée. Le lemme de Yoneda est à la base de cette axiomatisation, car il permet d’assurer l’existence de semi-fonctions récursives universelles.

MSC:
03D75 Abstract and axiomatic computability and recursion theory
18A15 Foundations, relations to logic and deductive systems
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
PDF BibTeX XML Cite
Full Text: EuDML