Si "F": Ab² → Ab asigna a cada par ("X", "X") de grupos abelianos su suma directa y si "G": Ab → Ab² es el funtor que asigna a cada grupo abeliano "Y" el par ("Y", "Y"), entonces "F" es el adjunto izquirdo de "G", otra vez consecuencia de la propiedad universal de las sumas directas.