Rewriting the elements in the intersection of the kernels of two morphisms between free groups

François Renaud

Let F be the free group functor, left adjoint to the forgetful functor between the category of groups GRP and the category of sets SET. Let f from A to B, and h from A to C be two…