Teoría lógico - axiomática de categorías

Abstract

El presente trabajo tiene por objeto la construcción de una teoría general de categorías independientemente de cualquier teoría de conjuntos y la obtención de una categoría de conjuntos en la cual se verifiquen los axiomas de la teoría de Bourbaki. Se pretende también que los resultados de esa teoría tengan su natural verificación en la teoría usual de categorías construida en el marco de la teoría de conjuntos de Bourbaki.