Si el funtor "F": "C" → "D" tiene "G": "D" → "C" como adjunto derecho y el funtor "F": "D" → "E" tiene a "G": "E" → "D" como adjunto derecho, entonces la composición "F"o"F": "C" → "E" tiene G"o"G": "E" → "C" como adjunto derecho.