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): 356
- PDF (Español (España)) Descargas(Downloads): 331
Additional Files
Published
How to Cite
Issue
Section
License
Copyrights
The journal is free open access. The papers are published under the Creative Commons Attribution / Attribution-NonCommercial-NoDerivatives 4.0 International - CC BY-NC-ND 4.0 license. For this reason, the author or authors of a manuscript accepted for publication will yield all the economic rights to the Universidad Tecnológica of Pereira free of charge, taking into account the following:
In the event that the submitted manuscript is accepted for publication, the authors must grant permission to the journal, in unlimited time, to reproduce, to edit, distribute, exhibit and publish anywhere, either by means printed, electronic, databases, repositories, optical discs, Internet or any other required medium. In all cases, the journal preserves the obligation to respect, the moral rights of the authors, contained in article 30 of Law 23 of 1982 of the Government Colombian.
The transferors using ASSIGNMENT OF PATRIMONIAL RIGHTS letter declare that all the material that is part of the article is entirely free of copyright. Therefore, the authors are responsible for any litigation or related claim to intellectual property rights. They exonerate of all responsibility to the Universidad Tecnológica of Pereira (publishing entity) and the Scientia et Technica journal. Likewise, the authors accept that the work presented will be distributed in free open access, safeguarding copyright under the Creative Commons Attribution / Recognition-NonCommercial-NoDerivatives 4.0 International - https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es license.