2014-05-22 これはいい例だ:テンソル双デカルト圏 モノイド圏 論理 http://d.hatena.ne.jp/m-hiyama-memo/20120602/1338631965 ホントなら、とてもいい例になる!