We discuss a Seifert–van Kampen theorem, valid in a non-additive algebraic setting: we give sufficient conditions on a functor F: C -> X, from an algebraically coherent semi-abelian category with enough projectives C to an almost abelian category X, for its first derived functor L_1(F) to preserve pushouts of split monomorphisms. This is joint work-in-progress with Mathieu Duckerts-Antoine.
Duckerts-Antoine, M., & Van der Linden, T. (2016). A Seifert–van Kampen theorem in non-abelian algebra. Peripatetic Seminar on Sheaves and Logic 100, Cambridge, United Kingdom. https://hdl.handle.net/2078.5/62517