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