Categorical comprehensions and recursion

Abstract:

Anew categorical setting is defined in order to characterize the subrecursive classes belonging to complexity hierarchies. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion schemes that imitate the bounded recursion scheme. This gives a categorical counterpart of generalized safe composition and safe recursion.

Año de publicación:

2017

Keywords:

• Safe recursion
• Symmetric monoidal category
• Ramified recursion

Fuente:

scopus