  Let $\mathscr{C}$ be a small category. For every commutative ring $R$ with
unity, we associate an $R\mathrm{-linear}$ abelian category with the universal
homotopy category of $\mathscr{C}$, where we can do the corresponding
homological algebra.
