Operaciones recursivas en teoría de categorías
DOI:
https://doi.org/10.22517/23447214.8407Keywords:
Categoría, objeto números naturales, universo recursivo, conjuntos primitivos recursivos, representación categórica, categoría cartesiana.Abstract
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.
Downloads
Downloads
-
Vistas(Views): 475
- PDF (Español (España)) Descargas(Downloads): 389
Additional Files
Published
How to Cite
Issue
Section
License
The undersigned authors declare that the article submitted to the journal Scientia et Technica is an original work and that all its content is free of third-party copyright restrictions or has the corresponding authorizations. Consequently, the authors assume responsibility for any litigation or claim related to intellectual property rights, releasing the Technological University of Pereira and the journal Scientia et Technica from any liability.
If the submitted work is accepted for publication, the authors retain copyright to the article and grant the journal Scientia et Technica the right of first publication, as well as a non-exclusive, perpetual license to reproduce, edit, distribute, display, and publicly communicate the article in any medium or format, including print, electronic, databases, repositories, the Internet, or other scientific dissemination systems. The authors agree that the article will be published in open access and distributed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License (CC BY-NC-SA 4.0).
The journal Scientia will respect in all cases the moral rights of the authors, in accordance with the provisions of article 30 of Law 23 of 1982 of the Republic of Colombia, recognizing the authorship of the work, the right to integrity and the right of disclosure, which are inalienable and non-waivable.