Talk:Mitchell's embedding theorem

Latest comment: 11 years ago by AxelBoldt in topic Name

Category C? edit

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 edit

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

  Done AxelBoldt (talk) 01:28, 3 December 2012 (UTC)Reply