自由変数 - 大域変数とは限らない。相対的な概念。PerlやJavaScriptでは？ 束縛変数（ラムダ変数） -- 位置引数であること、本質的に無名 大域環境、局所環境 -- ようするに環境、細かいこと言わなければ同じ。 PerlやJavaScriptでの実例を考える。あと、物…

圏で定義されて圏に値を取るコチェーンを考えている。しかし、定義域が圏である必要はないと思われる。高次グラフ、またはフーティアのいうマグマが適切ではないか？