Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad Tecnológica de Pereira
2010
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=84917316050 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- LA TEORIA DE CATEGORIAS EN PRIMER ORDEN YURI A. POVEDA Ingeniería Teoría de categorías lenguajes de primer orden independencia entre axiomas axiomatizaciones de la teoría de categorías Existen diferentes axiomatizaciones de la teoría de categorías, la mayoría de ellas usa lenguaje de segundo orden. En este trabajo se exhibe una axiomatización, propuesta por Eilenberg y Mac Lane (1945), de cinco axiomas escritos en leguaje de primer orden. Como no es evidente que el quinto axioma sea independiente de los demás, en este trabajo se presenta un modelo original que demuestra su independencia y se prueba que la unicidad de las identidades se sigue del quinto axioma. 2010 artículo científico 0122-1701 https://www.redalyc.org/articulo.oa?id=84917316050 es http://www.redalyc.org/revista.oa?id=849 Scientia Et Technica application/pdf Universidad Tecnológica de Pereira Scientia Et Technica (Colombia) Num.44 Vol.XVI