# How would you say that a small category is embedded into functors from a large $C'$ to abelian groups?

How would you say that a small additive category $C$ embedds (contravariantly) into the category of exact functors from a 'large' abelian $C'$ into abelian groups (this is something like Yoneda's embedding, but $C$ does not map canonically into $C'$)? My problem is that I do not want to consider all functors from $C'$ into abelian groups since this functor category it 'very large' (and I do not want to consider a 'larger universe'). Certainly, I can try to consider a limit of the corresponding functors from small subcategories of $C'$; yet is there a better way to deal with this matters?

Upd. Actually, my $C'$ is just isomorphic to the category of additive functors from $C^{op}$ to abelian groups (though this is not the way how it is defined).

-
Why not just take the Yoneda embedding on $C$ itself, or some appropriate small subcategory of $C'$ that contains $C$? – Eric Wofsey Apr 8 '13 at 3:22
I don't have any reasonable small subcategory inside $C'$. I also recollected that my $C$ does not canonically map into $C'$; I only have a bifunctor $C\times C'\to Ab$. – Mikhail Bondarko Apr 8 '13 at 4:15

In your example, there likely exists a cardinal $\kappa$ such that $C'$ is $\kappa$-accessible, as are the functors $C'\to Ab$ associated to each object of $C$ (i.e., they preserve $\kappa$-filtered colimits). In this case, you can consider $C$ embedded into the category of $\kappa$-accessible functors from $C'$ to $Ab$, which is only "large" rather than "very large". This is equivalent to restricting to the subcategory of $\kappa$-compact objects of $C'$.
Thank you! Sorry; I only just recollected that my $C'$ is isomorphic to the category of all additive functors from $C$ to abelian groups. So, the objects that come from an embedding of $C$ into $C'$ do yield compact generators. Yet are $k$-directed colimits suffice to obtain $C'$ from $C$? This is probably wrong for any $k$. – Mikhail Bondarko Apr 8 '13 at 5:07
If $C$ contains less than $\kappa$ morphisms, then it should be easy to write any $C$-shaped diagram in $Ab$ as a $\kappa$-filtered colimit of diagrams in which all the abelian groups have size less than $\kappa$. Given any element of any of the groups of the diagram, just take the subdiagram that it "generates". – Eric Wofsey Apr 8 '13 at 5:13
This may be easier to understand if you think about additive functors on $C$ as "modules" over $C$, generalizing the case when $C$ has a single object and is a ring. – Eric Wofsey Apr 8 '13 at 5:16
Yes, this is quite correct! The category of $R$-modules is quite actual for me; yet I don't want to fix this setting. My problem is: I have a theorem that expresses $C'$ in terms of $C$, and I would also like to express $C$ in terms of functors that its objects induce on $C'$. Yet there are 'too many' functors from $C'$! – Mikhail Bondarko Apr 8 '13 at 6:15