ヴｫエヴォドスキーのホモトピーラムダ計算の資料が極端に少ないなー。そろそろまとまったモノを出して欲しい。有向位相、有向ホモトピーに関しては： http://academic.csuohio.edu/bubenik_p/talks/directedTopology.pdf ヴォエヴォドスキー自身は次の計画を…

f : A → B :+ E に対して try(f) : A → B+E :+ 0 というtryの定式をもとに、モノイダルスタンピングモナドのトランザクション（transaction）を関手として定式化できた。射のプロファイルが問題で、f:A → M×B :+ E という射を次のプロファイルに変換する： t…