Teor a de categor as fue inventada por Samuel Eilenberg y Saunders MacLane en 1945. Desde entonces el lenguaje de teor a de categor as ha sido utilizado no solo en matem ticas puras sino tambi n en otras disciplinas, incluyendo entre estas a ciencias de la computaci n, leguaje conceptual fundamental para ciencias interdisciplinarias. Esta teor a es considerada por muchos como una mejor alternativa que la teor a de conjuntos como fundamento de las matem ticas. Gracias a lo anterior, la teor a nos permite modelar situaciones que la teor a de conjuntos no. De aqu la importancia de su estudio y comprensi n. En 1963, F. William Lawvere afirm en su tesis doctoral que teor a de conjuntos es un caso particular de teor a de categor as. Existe una diferencia fundamental entre estas dos categor as. En teror a de conjuntos partimos de las propiedades internas de los conjuntos para conocer sus propiedades externas. En teor as de categor as, la meta es conocer las propiedades internas de los objetivos a partir de sus proopiedades externas.