Freyd–Mitchell embedding theorem