Recursión en categorías

Este articulo esta dividido en dos partes. Primero, se presenta una revisión de trabajos realizados sobre la teoría de la recursión dentro de varios contextos categóricos. Se examinan por ejemplo objetos de números naturales en topes, particularmente en los topos recursivo y efectivo, las alegorías...

Full description

Autores:
Zalamea, Fernando
Tipo de recurso:
Article of journal
Fecha de publicación:
1995
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/43569
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/43569
http://bdigital.unal.edu.co/33667/
Palabra clave:
Cartesian categories
topoi
natural number objects
recursión
shears
realizability
intuitionism
combinatory logic
enumeration
parametrization
fixed points
residuals
Categorías cartesianas
topoi
objetos naturales
número recursividad
cizallas
realizabilidad
intuicionismo
lógica combinatoria
enumeración
parametrización
puntos fijos
residuos
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:Este articulo esta dividido en dos partes. Primero, se presenta una revisión de trabajos realizados sobre la teoría de la recursión dentro de varios contextos categóricos. Se examinan por ejemplo objetos de números naturales en topes, particularmente en los topos recursivo y efectivo, las alegorías de Freyd y su reconstrucción de los topos libre y efectivo, y la representación de funciones numéricas en categorías cartesianas. Segundo, se presenta un estudio axiomático de versiones categóricas de enumeración y parametrización (s-m-n) dentro del marco general de las categorías cartesianas parciales, lo cual conduce a una caracterización residual que ha pasado desapercibida en los trabajos clásicos.