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 … 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 objetos de $${\displaystyle {\mathcal {A}}}$$. 2) Para todo par de objetos See more

Dada una categoría $${\displaystyle {\mathcal {A}}}$$ y objetos $${\displaystyle A,B\in Ob({\mathcal {A}})}$$, diremos que un morfismo 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 categoría Top, cuyos objetos son los espacios topológicos y cuyos morfismos son las aplicaciones continuas entre estos. See more

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