Si el funtor "F": "C" → "D" es el adjunto izquierdo de "G": "D" → "C" y "C" y "D" son categorías aditivas, entonces "F" y "G" son funtores aditivos.