Consider a sequence of maps between $R$ modules (where $R$ is a ring with unity) $$\cdots \rightarrow M\_{n+1} \xrightarrow{d\_{n+1}} M\_{n} \xrightarrow{d\_{n}} M\_{n-1} \rightarrow \cdots$$ such that $\ker(d\_n) \subseteq \text{im}(d\_{n+1})$ for all $n$ (so the sequence is not necessarily a complex, and, if it is, it is an exact sequence). My question is this: does anyone know of any references where such objects have been studied?


The case I am interested in is where $M=\oplus\_{n \in \mathbb{Z}} M\_n$ is a curved dg-module over some curved dg-algebra; sequences of maps between modules that do not form complexes but which do have the above property come up naturally in this setting.


This question is also posted on MSE: <https://math.stackexchange.com/questions/345173/sequences-of-maps-between-modules-such-that-kerd-n-subseteq-textimd-n>



Sequences of maps between modules such that $\ker(d_n) \subseteq \text{im}(d_{n+1})$

> 
> Fair enough. But I still think perhaps there are interesting things one might be able to say about the category of such objects (if one were to form the category of these sequences of R modules, call it C, in the natural way). For instance, is there any relationship between C and the category of complexes of R-modules? This is the sort of thing I'd like to understand. I assume questions like these have been thought about before, but I can't seem to find any references for them. 
> 
> 
> 


Well, it seems that the problem is you feel that there must be some functor inbetween the Category of Sequences and the Complexes. Complexes did arise as exact sequences, but when they do not arise as exact sequences, they're often of little interest. But, if you have to use the sequences, then you might want to define a strong boundary homo., which is often a vainless job. As@Will Sawin said, the two contra-directional inclusions hardly have relations.


