nLab
Freyd-Mitchell embedding theorem (history)

January 28, 2012

August 31, 2010

August 30, 2010