A teoria das categorias é um estudo matemático abstrato de estruturas matemáticas e as relações existentes entre elas. Categoria é uma estrutura formada por objetos e morfismos que é estudada em Teoria das categorias.