La teoría de categorías fue introducida en topología algebraica, por Samuel Eilenberg y Saunders Mac Lane en 1942, como un paso crucial … See more

Con el concepto de categoría se pretende capturar -poniendo el énfasis en el concepto de relación (de aplicación), más que de elemento y pertenencia- la esencia de una clase de objetos matemáticos, que se relacionan mediante aplicaciones, los morfismos en la … See more

$${\displaystyle {\mathcal {A}}}$$ es una categoría si consta de lo siguiente:
1) Una clase $${\displaystyle {\operatorname {ob} (}{\mathcal {A}})}$$, llamada clase de … See more

Dada una categoría $${\displaystyle {\mathcal {A}}}$$ y objetos $${\displaystyle A,B\in Ob({\mathcal {A}})}$$, diremos que un morfismo $${\displaystyle f\in Mor(A,B)}$$ See more

Para eliminar los problemas surgidos de las paradojas como la de Russell se planteó el siguiente parche a la Teoría de conjuntos See more

• La categoría Con o Set, cuyos objetos son los conjuntos y cuyos morfismos son las aplicaciones entre estos.
• La … See more

Dadas dos categorías $${\displaystyle {\mathcal {A}}}$$ y $${\displaystyle {\mathcal {B}}}$$, diremos que See more