Categorical Comprehensions and Recursion
Category Theory
2015-01-29 v2
Abstract
A new 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.
Cite
@article{arxiv.1501.06889,
title = {Categorical Comprehensions and Recursion},
author = {Joaquín Díaz Boils},
journal= {arXiv preprint arXiv:1501.06889},
year = {2015}
}
Comments
Comments are welcome