Talk:Mitchell's embedding theorem

In the proof, it says "fully faithful embedding from our category \mathcal{C}" but what is C?

Should we add that the ring is actually commutative? — Preceding unsigned comment added by Ivmwikiguy (talk • contribs) 02:27, 12 October 2011 (UTC)[reply]

Should this be named the Freyd-Mitchell Embedding Theorem? I'm not sure exactly what the two parties did, but I learned it with Freyd there as well.--Geminatea 05:31, 23 April 2007 (UTC)[reply]