Talk:Mitchell's embedding theorem

In the proof, it says "fully faithful embedding from our category \mathcal{C}" but what is C? Also, should we add that the ring is actually commutative? --Ivmwikiguy 22:27, 11 October 2011

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)