Talk:Mitchell's embedding theorem

Category C?
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


 * This was a typo; \mathcal{C} should have been \mathcal{A}. I fixed it now. The ring R need not be commutative. 01:28, 3 December 2012 (UTC)

Name
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)


 * ✅ AxelBoldt (talk) 01:28, 3 December 2012 (UTC)