カリー／ハワード対応 カリー／ハワード／ランベック対応 デカルト閉圏 マルコフ圏

オブジェクトの種類 TeXオブジェクト： TeXコードで生成される、構文はTeXのブレイスブロック カーネルオブジェクト： カーネルまたは拡張で定義されるオブジェクト、構文はTeXコマンド 方向付きオブジェクト＝有向辺オブジェクト： \dir で記述される有向辺…

\xymatrix@1{ ... } でインライン向きの１行マトリックスを作れる。主に、\xymatrix@1{A \ar[r]^f & B} 。

マトリックス全体の列間寸法、行間寸法を調整する以外にアローの長さは調整できない。アローごと、行ごと、列ごとの調整は不可能。

マトリックスでエントリーを省略できるが、このときは不在エントリーとなる。不在エントリーはそこにオブジェクトがないとみなされる。{} で空エントリーを作れる。空エントリーは、内容が空なだけで存在する。不在エントリーへのアローは引けない。

modifier は「修飾子」と訳すみたいだが、Xy-pic だと別に decorator がある。decoratorはカタカタ「デコレータ」かな。とりあえず、modifier = 修正子 にしておく。修正子とデコレータ〈デコレーション〉の違いがハッキリしない。修正子は、オブジェクト修…