Operaciones recursivas en teoría de categorías
DOI:
https://doi.org/10.22517/23447214.8407Palabras clave:
Categoría, objeto números naturales, universo recursivo, conjuntos primitivos recursivos, representación categórica, categoría cartesiana.Resumen
Estudiar relaciones entre la teoría de la recursión y la teoría de categorías, permite encontrar propiedades del universo recursivo que pueden representarse por medio de propiedades universales. Es posible generalizar en algunos aspectos este universo para buscar ejemplos de propiedades recursivas que no provengan de la aritmética y así entender desde otras perspectivas el teorema de incompletitud de Gödel.
En este trabajo se presenta un compendio de las operaciones recursivas sobre los números naturales como en [3], se muestra la generalización del objeto números naturales como en [2] y se prueba la existencia de una clase de morfismos primitivos recursivos en el contexto de la teoría de categorías intermedias de Freyd (ver [1]) y a partir de la teoría de funciones recursivas expuestas en [2]. Aunque los resultados aquí expuestos son ampliamente conocidos entre especialistas, no se encuentran en la mayor parte de la literatura, las demostraciones son novedosas y originales.
Descargas
Descargas
-
Vistas(Views): 452
- PDF Descargas(Downloads): 376
Archivos adicionales
Publicado
Cómo citar
Número
Sección
Licencia
Los autores firmantes declaran que el artículo sometido a la revista Scientia et Technica es un trabajo original y que todo el material que lo compone se encuentra libre de restricciones de derechos de autor de terceros o cuenta con las autorizaciones correspondientes. En consecuencia, los autores asumen la responsabilidad por cualquier litigio o reclamación relacionada con derechos de propiedad intelectual, exonerando de toda responsabilidad a la Universidad Tecnológica de Pereira y a la revista Ciencia y Tecnología .
En caso de que el trabajo presentado sea aprobado para su publicación, los autores conservan los derechos de autor sobre el artículo y conceden a la revista Scientia et Technica el derecho de primera publicación, así como una licencia no exclusiva, ilimitada en el tiempo, para reproducir, editar, distribuir, exhibir y comunicar públicamente el artículo en cualquier medio o formato, incluyendo medios impresos, electrónicos, bases de datos, repositorios, Internet u otros sistemas de difusión científica. Los autores aceptan que el artículo sea publicado en acceso abierto y distribuido bajo la licencia Creative Commons Atribución–No Comercial–Compartir Igual 4.0 Internacional (CC BY-NC-SA 4.0).
La revista Scientia y respetará en todos los casos los derechos morales de los autores, conforme a lo establecido en el artículo 30 de la Ley 23 de 1982 de la República de Colombia, reconociendo la paternidad de la obra, el derecho a la integridad y el derecho de divulgación, los cuales son inalienables e irrenunciables.