だいぶ絞れてきた。X, Yはモノイド、Mod-X, Mod-Y はそれぞれ右加群の圏。Φ:Mod-X→Mod-Y が任意の関手、ただし基礎可換モノイドは保存する。この状況で、示したいことは2つ。(その1) P := Φ(X) と置く。ただし、X∈|Mod-X| と書いたときは、X-右加群としてのX…

X, Yなどがモノイドだとして、右加群と左加群を区別して、X-Mod, Mod-X と書く。双加群（両側加群）は、X-Mod-Y と書く。X自身をX上の加群とみなしたものを同じ記号Xで表す。X∈|X-Mod|、X∈|Mod-X| となる。Φ: Mod-X→Mod-Y が関手だとして、Φ(X)∈|Mod-Y| は当…

さんざん悪口を言ってきたが： Dear Member, We're excited to let you know that Dotster will soon be upgrading to a new control panel, which we think you're really going to like. The domain management interface is more modern and intuitive --…