Comprensiones categoriales y subrecursión

• Autores: Joaquín Díaz Boïls
• Directores de la Tesis: José Pedro Úbeda Rives (dir. tes.)
• Lectura: En la Universitat de València ( España ) en 2012
• Idioma: español
• Tribunal Calificador de la Tesis: Giuseppe Rosolini (presid.), Enric Casaban Moya (secret.), Concepción Martínez Vidal (voc.)
• Materias:
  • Matemáticas
    • Álgebra
      • Teoría de categorías
• Enlaces
  • Tesis en acceso abierto en:  RODERIC  TESEO 
• Resumen

  • Se define una nueva estructura categorial con el objeto de caracterizar las clases de funciones subrecursivas pertenecientes a la Jerarquía de Grzegorzcyk. Ello se consigue por medio de functores de coerción sobre una categoría simétrica monoidal dotada de ciertos esquemas de recursión que imitan el esquema de recursión acotada. Ello se hace para dar una visión categorial generalizada de la recursión y la composición seguras.