http://d.hatena.ne.jp/m-hiyama-memo/20110516 あたりの続き。大局的プログラミング（programming in the large）関係。とある圏がありまする。 この圏の射（対象じゃない）はモジュールである。 この圏の対象は名前の有限集合である。 名前を型名だけに限…

「式を計算（評価）して値を求める」-- という構造を一般化するハナシ。とりとめもない。 計算とは（ここでは）、計算関手:図式の圏→値の圏。値の圏は、事実上「行列の圏」。図式とは、図 and/or 式、つまり、graph, diagram, term, expression, formulaなど…