La
teoría de categorías es un estudio matemático que trata de
axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de
objetos y
morfismos. Al mismo tiempo trata de mostrar una nueva forma de ver las matemáticas sin incluir las nociones de
elementos, pertenencia, entre otras.