Skip to main content
1 of 2
Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38

One can prove that for any non-zero ring $R$ the category $R$-Mod$^{op}$ is not a category of modules. Indeed any category of modules is Grothendieck abelian i.e., has exact filtered colimits and a generator. So for $R$-Mod$^{op}$ to be a module category $R$-Mod would also need exact (co)filtered limits and a cogenerator. It turns out that any such category consists of just a single object.

I believe this is stated somewhere in Freyd's book Abelian Categories but I am not sure exactly where off the top of my head.

Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38