Talk:Mitchell's embedding theorem
Appearance
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?
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)