 Then each  formula_86  is a terminal morphism from "F" to "X", because any group homomorphism from a free group "FZ" to "X" will factor through  formula_85  via a unique set map from "Z" to "GX".This means that ("F","G") is an adjoint pair.Hom-set adjunction.