森田理論では、射影生成子（progenerator）という概念が極めて重要。CがV豊饒圏だとして、Cの対象Pが射影生成子とは、 PはCの生成子（generator）である。 PはCの射影的対象（projective object）である。 Pは有限生成である。 これらは圏論（豊饒圏論だけど…

森田理論 プログラム理論 体 二値ブール代数 （可換）環 ブール代数 多元環 言語の代数 加群 オートマトン 双加群 トランスデューサー 双積 OR結合 テンソル積 並列入出力結合 加群射 オートマトン射 双加群射 トランスデューサー射