Una proposición análoga caracteriza los funtores con un adjunto derecho.