Un par de funtores adjuntos entre dos categorías "C" y "D" consiste en dos funtores "F": "C" → "D" y "G": "D" → "C" y un isomorfismo natural que consiste en funciones biyectivas