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