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...
Na minha lista:
| Publicado no: | Scientia Et Technica |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Universidad Tecnológica de Pereira
2010
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=84917316050 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|