2016-10-10 コンパクト閉圏のジャンクションとコンビネータ 圏一般論 Mx ジャンクション evとcoev 対称（交叉 crossing） 法則 4種のニョロニョロ ライデマイスター II 交叉の擦り抜け テンソル積に関する諸々 コンビネータ 4種のベント・コンビネータ＝ev, coevジャンクションの前後結合 4種から2つを選んでラムダ・コンビネータとその逆、Λ ベント・コンビネータの組み合わせで双対コンビネータと余双対コンビネータ 適用コンビネータ「・」＝ベント・コンビネータと結合コンビネータの組合せ 行列の転置コンビネータ＝交叉ジャンクションの後結合 (-)t 行列積コンビネータ「*」 コンビネータの作り方 組み込みコンビネータ、id, comp, prod 定数とコンビネータの組合せ、後結合、前結合、左テンソリング、右テンソリング コンビネータの組合せ
