圏論の計算のために、テキストエディタとキーボードだけでも容易に入力可 能な記法を提案し、計算を実行してみる。この記法は、図式順(diagrammatic order)に左から右に向かって書き記す方式である。 1. はじめに 圏論の計算のために、テキストエディタとキーボードだけでも容易に入力可 能な記法を案出しようと何度か試みて、何度か(試みと同じ回数)挫折した。 それで得た教訓は、あまり高望みせず(所詮、テキスト表現では限度があるから)、 できることだけをチマチマとやっていくほうがよさそうだ、ということ。それ で、自然変換の計算にしぼって、アスキー文字+ギリシャ文字(*注1)で書け る記法を提案し、計算を実行してみる。 テキストによる式は、diagrammatic order、つまり左から右に読めること に拘った。この特徴を強調して、ここで述べる記法を‘図式順テキスト記法 (Diagram