領域＝ユークリッド空間の開集合に対して、エンブレムタプル (x1, ..., xn) が決まる。エンブレムタプルの成分をエンブレム成分と呼ぶ。エンブレム成分xiの使い方を列挙すると： 自由変数の成分 推奨されるラムダ変数（束縛変数） 座標ラベル（軸または方向…

双対とニョロニョロ http://d.hatena.ne.jp/m-hiyama/20130123/1358903906 双対と随伴、そして左と右 http://d.hatena.ne.jp/m-hiyama/20101111/1289444548 コンパクト閉圏と絵算で理解する線形代数とシーケント計算（入り口だけ） http://d.hatena.ne.jp/m-…