Under which conditions localizing an additive category by some class S of morphisms yields and additive category? It seems easy to define certain addition on morphisms if we fix their representatives as zig-zags (i.e. compositions of 'old' morphisms with inverses of morphisms in S; here I use the fact that 'my' S is closed with respect to direct sums of morphisms), but I am not sure at all that this addition will not depend on the choice on representatives. Is there any reasonable condition that will ensure this? I definitely do not want to restrict myself to abelian or triangulated categories.

It seems that in the situations I am interested in, any morphism is a composition of the embedding of a direct summand, an inverse of a morphism from S, and an 'old' morphism (i.e. it is 'almost a fraction'). The Ore conditions are not fulfilled (in general, probably); yet some weakening of them could hold.

I would be deeply grateful for any associations here!

My examples are:

For an additive (pseudo-abelian) category B consider some full triangulated (thick) subcategory D of $K^b(B)$; then my S for B is the set of morphisms in B that yield objects of D (if considered as complexes of length 1).

In particular, S is always closed with respect to compositions and direct sums of morphisms.

In fact, I am interested in all aspects of this setup!