 Then "F" and "G" can be restricted to "D"1 and "C"1 and yield inverse equivalences of these subcategories.In a sense, then, adjoints are "generalized" inverses.Note however that a right inverse of "F" (i.e.