1: \begin{abstract}

2: For an additive category $\PC$

3: we provide an explict construction of a category 

4: $\CIC( \PC )$

5: whose objects can be thought of as formally representing

6: $\frac{\image( \gamma )}{\image( \rho ) \cap \image( \gamma )}$ for given morphisms $\gamma: A \rightarrow B$

7: and $\rho: C \rightarrow B$ in $\PC$, even though $\PC$ does not need to admit quotients or images.

8: We show how it is possible to calculate effectively within $\CIC( \PC )$,

9: provided that a basic problem related to syzygies can be handled algorithmically.

10: We prove an equivalence of $\CIC( \PC )$ with the subcategory 

11: of the category of contravariant functors from $\PC$ to the category of abelian groups $\Ab$ 

12: which contains all finitely presented functors

13: and is closed under the operation of taking images. Moreover, we characterize the abelian case:

14: $\CIC( \PC )$ is abelian if and only if it is equivalent to $\fp( \PC^{\op}, \Ab )$,

15: the category of all finitely presented functors, which in turn, by a theorem of Freyd,

16: is abelian if and only if $\PC$ has weak kernels.

17: 

18: The category $\CIC( \PC )$ is a categorical abstraction of the data structure for finitely presented $R$-modules

19: employed by the computer algebra system \textsc{Macaulay2}, where $R$ is a ring. By our generalization

20: to arbitrary additive categories, we show how this data structure can also be used for modeling finitely presented graded modules,

21: finitely presented functors, and some not necessarily finitely presented modules over a non-coherent ring.

22: \end{abstract}

23: