Can we turn the functor "category ring" into a 2-functor in a natural way?

This construction is not even a functor!

The problem is that two morphisms which are not composable in $C$ may become composable in $D$. The simplest example is to take $C$ to be the discrete category on two objects $a, b$, $D$ to be the discrete category on an object $d$, and $F : C \to D$ the unique functor between them (or rather the free preadditive category on these). Then $R(C)$ has two generators $\text{id}_a$ and $\text{id}_b$ which are not composable and hence whose product is $0$. But their image in $D$ is $\text{id}_d$ which squares to itself. So

$$R(F)(\text{id}_a \times \text{id}_b) = R(F)(0) = 0 \neq R(F)(\text{id}_a) \times R(F)(\text{id}_b) = \text{id}_d.$$

So $R(F)$ is not a ring homomorphism.

This construction is not a functor, but it can be understood in terms of a functor as follows. I'll restrict my attention to the case that $C$ has finitely many objects. Given such a preadditive category you can talk about the category obtained by formally adjoining finite direct sums (this is a functor, even a 2-functor), and in this new category I claim that the category ring is just $\text{End}(\oplus_{c \in C} c)$. The significance of this ring is that it is Morita equivalent to $C$, meaning that right modules over it are naturally equivalent to presheaves on $C$ valued in abelian groups.


Rings are precisely those pre-additive categories with exactly one object. Thus the category of rings (noncommutative here) is a $2$-category. If $f,g : R \to S$ are $1$-morphisms, then a $2$-morphism $f \to g$ is an element $s \in S$ such that for all $r \in R$, we have $s f(r) = g(r) s$.

So take a natural transformation $\eta : F \to G$ between additive functors $F,G : C \to D$. Then we may take $s = \sum_{x \in C} \eta(x)$ as an element of $R(D)$. But wait, this sum does not have to be finite. Then let's define $R(-)$ simply as the product and not the direct sum. This causes other problems, see the answer of Agusti Roig.

Now the desired equation $s F(r) = G(r) s$ for some morphism $r : x \to y$ in $C$ is equivalent to

$\sum_{u : F(u)=F(x)} \eta(u) F(r) = \sum_{v : G(v)=G(x)} G(r) \eta(v)$.

This seems to be true only if $F$ and $G$ are injective on objects.

So my answer would be: No, unfortunately $R$ cannot be made into a $2$-functor.

But somehow, $R$ should be a $2$-functor, and perhaps we can modify the whole setting a but, so that it works.