A note on exactness and stability in homotopical algebra.
If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism . A right inverse (section) of is called a coaction on G. In this paper we study and the sections of . We consider the following topics: the structure of as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and the resulting...