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...
Gardado en:
| Publicado en: | Scientia Et Technica |
|---|---|
| Autor Principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado: |
Universidad Tecnológica de Pereira
2010
|
| Assuntos: | |
| Acceso en liña: | https://www.redalyc.org/articulo.oa?id=84917316050 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|