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
id UNACIONAL2_a54ccdaa1632bf0d94a7c3f44d1d111b
oai_identifier_str oai:repositorio.unal.edu.co:unal/43569
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zalamea, Fernando3eab4e3d-955f-43cf-93d7-1090ae3048743002019-06-28T12:08:55Z2019-06-28T12:08:55Z1995https://repositorio.unal.edu.co/handle/unal/43569http://bdigital.unal.edu.co/33667/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.The article splits in two parts. First, a survey of work done around recursion theory, in several categorical settings, is presented. Natural number objects in topoi , particularly in the recursive and effective topoi, Freyd's allegories and his reconstructions of the free and effective topoi, the representation of numerical functions in cartesian categories, are examined. Second, an axiomatic study of categorical versions of enumeration and parametrization (s-m-n) is presented in the general framework of partial cartesian categories, leading to a residual characterization, previously unnoticed in classical workapplication/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/33553Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 29, núm. 2 (1995); 127-144 0034-7426Zalamea, Fernando (1995) Recursión en categorías. Revista Colombiana de Matemáticas; Vol. 29, núm. 2 (1995); 127-144 0034-7426 .Recursión en categoríasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTCartesian categoriestopoinatural number objectsrecursiónshearsrealizabilityintuitionismcombinatory logicenumerationparametrizationfixed pointsresidualsCategorías cartesianastopoiobjetos naturalesnúmero recursividadcizallasrealizabilidadintuicionismológica combinatoriaenumeraciónparametrizaciónpuntos fijosresiduosORIGINAL33553-124576-1-PB.pdfapplication/pdf8191306https://repositorio.unal.edu.co/bitstream/unal/43569/1/33553-124576-1-PB.pdf35d5048faa6e1e3f21b58389a364c27dMD51THUMBNAIL33553-124576-1-PB.pdf.jpg33553-124576-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg7602https://repositorio.unal.edu.co/bitstream/unal/43569/2/33553-124576-1-PB.pdf.jpg13329715b3cd3a5117c0803f6547353eMD52unal/43569oai:repositorio.unal.edu.co:unal/435692024-02-10 23:06:37.985Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Recursión en categorías
title Recursión en categorías
spellingShingle Recursión en categorías
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
title_short Recursión en categorías
title_full Recursión en categorías
title_fullStr Recursión en categorías
title_full_unstemmed Recursión en categorías
title_sort Recursión en categorías
dc.creator.fl_str_mv Zalamea, Fernando
dc.contributor.author.spa.fl_str_mv Zalamea, Fernando
dc.subject.proposal.spa.fl_str_mv 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
topic 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
description 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.
publishDate 1995
dc.date.issued.spa.fl_str_mv 1995
dc.date.accessioned.spa.fl_str_mv 2019-06-28T12:08:55Z
dc.date.available.spa.fl_str_mv 2019-06-28T12:08:55Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/43569
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/33667/
url https://repositorio.unal.edu.co/handle/unal/43569
http://bdigital.unal.edu.co/33667/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/33553
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 29, núm. 2 (1995); 127-144 0034-7426
dc.relation.references.spa.fl_str_mv Zalamea, Fernando (1995) Recursión en categorías. Revista Colombiana de Matemáticas; Vol. 29, núm. 2 (1995); 127-144 0034-7426 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/43569/1/33553-124576-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/43569/2/33553-124576-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 35d5048faa6e1e3f21b58389a364c27d
13329715b3cd3a5117c0803f6547353e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089311188942848