Esta misma construcción puede ser realizada si los "A"'s son conjuntos, anillos, módulos (sobre un anillo fijo), álgebras (sobre un campo fijo), etc., y los homomorfismos son homomorfismos en la categoría correspondiente.