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...
Збережено в:
| Опубліковано в:: | Scientia Et Technica |
|---|---|
| Автор: | |
| Формат: | Artigo |
| Мова: | Espanhol |
| Опубліковано: |
Universidad Tecnológica de Pereira
2010
|
| Предмети: | |
| Онлайн доступ: | https://www.redalyc.org/articulo.oa?id=84917316050 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|