The Nine Lemma and the push forward construction for special Schreier extensions of monoids with operations

We show that the Nine Lemma holds for special Schreier extensions of monoids with operations. This fact is used to obtain a push forward construction for special Schreier extensions with abelian kernel. This construction permits to give a functorial description of the Baer sum of such extensions