2016-02-09 ポリ行列と射の対応 その他代数 気付いた モノイド圏 説明 多圏 *は任意のマルチインデックス、x, yは極性の符号、**は任意の極性付きマルチインデックス 射 ポリ行列 圏の射 極性なし、1→1 シェイプ 複圏の射 極性なし、*→1 シェイプ 多圏の射 極性なし、*→* シェイプ 双対付き圏の射 極性あり、1x→1y シェイプ 双対付き複圏の射 極性あり、**→1x シェイプ 双対付き多圏の射 極性あり、**→** シェイプ