O foco deste trabalho é o estudo de categorias abelianas e suas propriedades, e, em especial, é feita a demonstração do Teorema de Freyd-Mitchell, que afirma que para toda categoria abeliana pequena existe um funtor fiel, ...

En este trabajo estudiaremos algunas categor´ıas intermedias, abelianas, y sus teoremas de representaci ´on. Demostraremos teoremas de completitud para la l´ogica regular, coherente y cl´asica de primer orden. Tambi´en ...