Σ、Δが指標とする。Expr(Σ) がΣから構成される式の集合だとする。Exprはモナドになるので、指標圏をモナド付きの圏と考える。このモナドのクライスリ圏の反対圏を考えると、これは「定義の圏」となる。それで、定義の圏においては、指標の直和 Σ+Δ が直積を…

Catyのドキュメンテーションに含めるつもりの記事（の下書き）。「CatyのWeb処理： Webフィーチャとメタプログラミング」の続き。Catyにとって、マゾ・テストは大きな目標だった*1。マゾ・テストを想定しないと、Catyの設計判断は理解できないだろう。例えば…