??so what about walking short exact sequence abelian category... ???i was going to ask whether it's a generalized module category or something, but ... ??maybe we actually already established that it's an actual module category?? ...