Dende'l puntu de vista de la teoría de categoríes, la teoría de grupos podría catalogase como una categoría llamada categoría de grupos, por cuenta de que en ella estúdiase a los grupos y los sos morfismos.