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...
- 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
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. |
---|