メイト〈mate〉に関してnLab項目 https://ncatlab.org/nlab/show/mate を毎回参照するのだが、分かりにくいペースティング図を解釈して、毎回忘れる。ここに、ストリング図を描いておく。状況設定は、 Title: Multivariable adjunctions and mates (2012) Au…

絵算と型付きラムダ計算を混ぜたようなもんで、関手と自然変換の計算に使う。 型付きラムダ計算 絵板計算 型 プロファイル 変数 名前付きスロット 定数 素子と絵板 適用 スロットへのはめ込み ラムダ抽象 穴あけ、切り抜き〈cutout〉、切り落とし スロット〈…