Comenzando con una clase dada de estructuras algebraicas, por ejemplo los grupos, uno puede construir la categoría en la cual los objetos son grupos y los morfismos son los homomorfismos de grupo: es decir, de estructuras de un tipo, y de funciones que respetan esa estructura.