Talk:Mitchell's embedding theorem

Mathematics Start‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

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)[reply]

Done AxelBoldt (talk) 01:28, 3 December 2012 (UTC)[reply]