 The composition of these maps is indeed the identity on "FY".The second counit–unit equation  formula_93  says that for each group "X" the composition
should be the identity.The intermediate set "GFGX" is just the underlying set of "FGX".