表題のような主張を、いつかどこかで見たことがあるんですが、いつ・どこで？かは思い出せません。なぜ「非可換環上の加群は豊穣関手」とみなせるか？は説明できそうなので、この記事に書いてみます。$`\newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\In}…