En matemáticas La teoría de categorías trata de forma abstracta con las estructuras matemáticas y sus relaciones. Una categoría se da a partir de dos tipos de datos: una clase de objetos y, para cada par de objetos X y Y, un conjunto de morfismos desde X a Y. Los morfismos son usualmente representados como flechas entre esos objetos. Representan un avance muy importante en el desarrollo de las Matemáticas, principalmente en el tratamiento de las estructuras algebraicas.