We prove a variation on the Seifert-van Kampen theorem in a setting of non-abelian categorical algebra, providing sufficient conditions on a functor F, from an algebraically coherent semi-abelian category with enough projectives to an almost abelian (= Raikov semiabelian) category, for the preservation of pushouts of split monomorphisms by the left derived functor of F.
Duckerts-Antoine, M., & Van der Linden, T. (2018). A Seifert-van Kampen theorem in non-abelian algebra. Homology, Homotopy and Applications, 20(2), 79-103. https://doi.org/10.4310/HHA.2018.v20.n2.a5 (Original work published 2018)