Every continuous functor on a small-complete category which satisfies the appropriate solution set condition has a left-adjoint (the Freyd adjoint functor theorem).
Κάθε συνεχή συνάρτηση σε ένα μικρό-complete κατηγορίας που πληροί τις κατάλληλες προϋποθέσεις σύνολου διάλυμα έχει αριστερή adjoint (η Freyd θεώρημα συναρτητής adjoint).