参考： お絵描きで古典テンソル計算：ソブリン圏関係 - 檜山正幸のキマイラ飼育記 メモ編 お絵描きで古典テンソル計算 - 檜山正幸のキマイラ飼育記 メモ編 圏の法則 結合律 → 目視のみなし 左右の単位律 → 目視のみなし モノイド圏の法則 モノイド積の結合律…

ジャンクション evとcoev 対称（交叉 crossing） 法則 4種のニョロニョロ ライデマイスター II 交叉の擦り抜け テンソル積に関する諸々 コンビネータ 4種のベント・コンビネータ＝ev, coevジャンクションの前後結合 4種から2つを選んでラムダ・コンビネータ…

テンソル計算 ラムダ計算 米田の補題 モナド ベクトル空間 型 対象関手*1 関手 線形写像 型判断 自然変換（射も） 自然変換 双対ベクトル空間 - 共変ホム関手 随伴パートナー スカラー空間 ユニット型 単位集合関手*2 恒等関手 テンソル積 デカルト積 横結合…