LA TEORIA DE CATEGORIAS EN PRIMER ORDEN
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 s...
Spremljeno u:
| Izdano u: | Scientia Et Technica |
|---|---|
| Glavni autor: | |
| Format: | Artigo |
| Jezik: | Espanhol |
| Izdano: |
Universidad Tecnológica de Pereira
2010
|
| Teme: | |
| Online pristup: | https://www.redalyc.org/articulo.oa?id=84917316050 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|